float_tininess_before_rounding
( float_detect_tininess == float_tininess_before_rounding )
( float_detect_tininess == float_tininess_before_rounding )
tininessCode = 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 )
( float_detect_tininess == float_tininess_before_rounding )