fix FLOAT_IS_DENORMAL