math-float64-nextafter

Returns the next representable double-precision floating-point number after x toward y.