Converts a positive integer to a floating-point value.
The value nearest to the argument will be returned. If there are two
such values, the one with an even significand will be returned (i.e.
IEEE roundTiesToEven).
The argument must be strictly positive, and floatRadix (undefined
:: a) must be 2.