...
[IEEE 754] IEEE 754-1985 Standard for Binary Floating-Point Arithmetic
...
FLP34-C. Ensure that floating point conversions are within range of the new type FLP34-C. Ensure that floating point conversions are within range of the new type FLP36-C. Beware of precision loss when converting integral types to floating point