float_tininess_before_rounding
( float_detect_tininess == float_tininess_before_rounding )
( float_detect_tininess == float_tininess_before_rounding )
( float_detect_tininess == float_tininess_before_rounding )
( float_detect_tininess == float_tininess_before_rounding )