DBL_MAX
ATF_REQUIRE(strtod("2e308", &endp) == DBL_MAX);
ATF_REQUIRE(strtod("2e308", &endp) == DBL_MAX);
if (ax > DBL_MAX / 2)
d = DBL_MAX;
d /= DBL_MAX;
test(fma, DBL_MAX, DBL_MAX, -INFINITY, -INFINITY, ALL_STD_EXCEPT, 0);
test(fma, DBL_MAX, -DBL_MAX, INFINITY, INFINITY, ALL_STD_EXCEPT, 0);
test(fma, DBL_MAX, DBL_MAX, NAN, NAN, ALL_STD_EXCEPT, 0);
test(idd(nextafter(DBL_MAX, INFINITY)), INFINITY, ex_over);
test(idd(nextafter(INFINITY, 0.0)), DBL_MAX, 0);
test(idd(nexttoward(DBL_MAX, DBL_MAX * 2.0L)), INFINITY, ex_over);
test(idd(nexttoward(INFINITY, DBL_MAX * 2.0L)), DBL_MAX, 0);
#define LDBL_MAX ((long double)DBL_MAX)
#define LDBL_MAX ((long double)DBL_MAX)