Decimal Literals

Ketil Z. Malde
11 Jul 2003 11:04:35 +0200

Ashley Yakeley <> writes:

> 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?

If I haven't seen further, it is by standing in the footprints of giants