[Cfp-interest] Part 1: nextup(DBL_MAX)

[Fred J. Tydeman]

Is 
  nextup(DBL_MAX)
allowed to be a "range error"?

Or, do we need to add words along the lines of:
  A range error shall not occur for any argument.

Should we also add:
  The returned value is exact and is independent of
  the current rounding direction mode.

NOTE:  Words about [in]exact and rounding should be 
added for all new math functions.

---
Fred J. Tydeman        Tydeman Consulting
tydeman at tybor.com      Testing, numerics, programming
+1 (775) 358-9748      Vice-chair of PL22.11 (ANSI "C")
Sample C99+FPCE tests: http://www.tybor.com
Savers sleep well, investors eat well, spenders work forever.