...
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"
...
FLP33-C. Convert integers to floating point for floating point operations 05. Floating Point (FLP) FLP35FLP06-C. Take granularity into account when comparing floating point valuesUnderstand that floating-point arithmetic in C is inexact