Hugs Humor

Ross Paterson ross@soi.city.ac.uk
Mon, 7 Jul 2003 12:22:38 +0100


On Mon, Jul 07, 2003 at 01:09:53PM +0200, Wolfgang Jeltsch wrote:
> On Monday, 2003-07-07, 13:05, CEST, Ross Paterson wrote:
> > In the case of 0.1::Rational, it shouldn't be using floating point. The
> > Report says this means fromRational (1%10), i.e. 1%10.
> 
> In which paragraph of the report is this specified?

I take that as the meaning of the part you're reading (6.4.1), though it
would be better if it said "the appropriate value" rather than "a value".