float_tininess_after_rounding
tininessCode = float_tininess_after_rounding;
tininessCode = float_tininess_after_rounding;
float_detect_tininess = float_tininess_after_rounding;
int float_detect_tininess = float_tininess_after_rounding;