J3/05-114
Date: 4 Jan 2005
To: J3
From: Fred Tydeman
Subject: nextafter(+0.0,-0.0), nextafter(NaN,y)
NUMBER: F03/0035
TITLE: IEEE_NEXT_AFTER()
KEYWORDS: IEEE-754, nextafter()
DEFECT TYPE: ???
STATUS: For consideration
QUESTION:
What is NEXT_AFTER(+0.0,-0.0)? NEXT_AFTER(-0.0,+0.0)?
What is NEXT_AFTER(X,Y) if X and/or Y is NaN?
DISCUSSION:
C99 and IEEE-754R (the revision of IEEE-754 now in progress)
define NEXT_AFTER(X,Y) as Y (not X) when X == Y.
NEXT_AFTER(X,Y) when both X and Y are NaN shall be a NaN, and
should be one of NaN arguments.
NEXT_AFTER(X,Y) when one of X and Y is a NaN shall be a NaN, and
should the NaN argument.
ANSWER:
EDITS:
All edits refer to 04-007.pdf.
SUBMITTED BY: Fred Tydeman
HISTORY: J3/05-114 m171 Submitted