changed how toFraction converts a real into a Fraction to make things li...

...ke 0.333333... become 1/3 and not 333333/1000000.

This is a local modification we use. In looking back at it, maybe the values 10**8 and 30 should be context flags and not hard fixed.