Rational: improved conversion to FloatingPoint.