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? > [...] Wolfgang