Turn floats automatically into rational numbers

This avoids DIVISION-BY-ZERO conditions from the decimal formatter.
Those are (unexpectedly) caused by internal calculations.