The nextafter functions return the next machine-representable
    floating-point number following x in the direction of y. If
    y is less than x, nextafter returns the largest representable
    floating-point number less than x.