FLT_MIN_EXP
ATF_CHECK_EQ_MSG(e, FLT_MIN_EXP,
d0, f, e, 0.5, FLT_MIN_EXP);
d0, f, e, 0.5, FLT_MIN_EXP);
ATF_CHECK_EQ_MSG(e, FLT_MIN_EXP - i,
i, d1, f, e, 0.5, FLT_MIN_EXP - i);
i, d1, f, e, 0.5, FLT_MIN_EXP - i);
for (s = FLT_MIN_EXP;
s += (FLT_MAX_EXP - FLT_MANT_DIG - FLT_MIN_EXP)/5) {
{ FLT_DENORM_MIN, FLT_MIN_EXP - FLT_MANT_DIG },
{ FLT_MIN, FLT_MIN_EXP - 1 },