Continued fraction

This is a local modification we use to make sure that, for example, when contextFraction converts a real 0.333333... to a Fraction that the result is Fraction(1,3), not Fraction(333333,1000000). Looking back at it, possibly the values 10**8 and 30 should be context flags.