On Monday, 24 August 2015 at 18:06:08 UTC, rumbu wrote: > BTW, 1.2 and 12.0 are directly representable as double 12.0 is representable, but I'm pretty sure, if you work it out, 1.2 isn't.