softfloat: Add float32_is_zero_or_denormal() function