public override string toString(int radix) { return(num.toString(radix) + '/' + den.toString(radix)); }