[cfp-interest 3498] C2Y - F.10.9.1 - nextafter(x, y)

[Damian McGuckin]

The wording "function value" is used herein.

Such wording appears nowhere else in this same context. Indeed, it only 
appears in one other place and it can be argued it should not even appear 
there either. But we can address that 2nd case later.

Everywhere else, the "function value" is called "result".

Can this be used here also? i.e.

 	nextafter(x, y) raises the overflow and inexact floating point
 	exceptions when |x| < OO and the result is infinite.

 	nextafter(x, y) raises the underflow and inexact floating point
 	exceptions when x != y and the result is zero or subnormal.

Here OO is my attempt at an infinity symbol in the middle of the email and 
in both cases, the domain uses an equality/inequality for consistency.

Thanks - Damian