Add IEEE 754 floating point checks