11 Jul
2003
11 Jul
'03
5:04 a.m.
Ashley Yakeley
There should be a separate syntax for that. As it stands, the string "3.1415926536" unambiguously specifies a rational number. Perhaps something like "3.1415926536..." should be interpreted as the 'simplest' rational that agrees with the given digits, which would then be passed to fromRational.
I.e. for 3.14, allow any rational number in [3.14,3.15), or perhaps (3.135,3.145]? Or restrict it to just the rational number in range with the least total digits? -kzm -- If I haven't seen further, it is by standing in the footprints of giants