F.9.8.3 The nextafter functions
nextafter(x, y) raises the “overflow” and “inexact” floating-point exceptions for x finite and the function value infinite.
nextafter(x, y) raises the “underflow” and “inexact” floating-point exceptions for the function value subnormal or zero and x != y.