nextafterf
float nextafterf(float, float);
CHECK(i, nextafterf, x[i], x[i], x[i]);
CHECK(i, nextafterf, -x[i], -x[i], -x[i]);
CHECK(i, nextafterf, x[i], x[i + 1], x[i + 1]);
CHECK(i, nextafterf, x[i], x[n - 1], x[i + 1]);
CHECK(i, nextafterf, x[i], INFINITY, x[i + 1]);
CHECK(i, nextafterf, -x[i], -x[i + 1], -x[i + 1]);
CHECK(i, nextafterf, -x[i], -x[n - 1], -x[i + 1]);
CHECK(i, nextafterf, -x[i], -INFINITY, -x[i + 1]);
CHECK(i, nextafterf, x[i], x[i - 1], x[i - 1]);
CHECK(i, nextafterf, x[i], x[0], x[i - 1]);
CHECK(i, nextafterf, x[i], +0., x[i - 1]);
CHECK(i, nextafterf, x[i], -0., x[i - 1]);
CHECK(i, nextafterf, x[i], -x[0], x[i - 1]);
CHECK(i, nextafterf, x[i], -x[i], x[i - 1]);
CHECK(i, nextafterf, x[i], -INFINITY, x[i - 1]);
CHECK(i, nextafterf, -x[i], -x[i - 1], -x[i - 1]);
CHECK(i, nextafterf, -x[i], -x[0], -x[i - 1]);
CHECK(i, nextafterf, -x[i], -0., -x[i - 1]);
CHECK(i, nextafterf, -x[i], +0., -x[i - 1]);
CHECK(i, nextafterf, -x[i], x[0], -x[i - 1]);
CHECK(i, nextafterf, -x[i], INFINITY, -x[i - 1]);
ATF_CHECK(isnan(nextafterf(NAN, 0)));
ATF_CHECK(isnan(nextafterf(0, NAN)));
CHECK(0, nextafterf, z_neg, +INFINITY, m);
CHECK(2, nextafterf, z_pos, +INFINITY, m);
CHECK(4, nextafterf, z_pos, -INFINITY, -m);
CHECK(6, nextafterf, z_neg, -INFINITY, -m);
CHECK(8, nextafterf, -m, +INFINITY, 0);
ATF_CHECK(signbit(nextafterf(-m, +INFINITY)) != 0);
CHECK(10, nextafterf, m, -INFINITY, 0);
ATF_CHECK(signbit(nextafterf(m, -INFINITY)) == 0);
ATF_CHECK_EQ_MSG((t = nextafterf(INFINITY, INFINITY)), INFINITY,
ATF_CHECK_EQ_MSG((t = nextafterf(-INFINITY, -INFINITY)), -INFINITY,