exports.imod.prototype.toString = function ( ) {
    return "(" + this.lhs.toString( ) + ") %= (" + this.rhs.toString( ) + ")" ;
} ;