...
CERT C++ Secure Coding Standard: FLP34-CPP. Ensure that floating point conversions are within range of the new type
The CERT Oracle Secure Coding Standard for Java: VOID FLP03-J. Range check before casting floating point numbers to narrower types
ISO/IEC 9899:1999 Section 6.3.1.4, "Real floating and integer," and Section 6.3.1.5, "Real floating types"
...