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