To:         J3 Members                                       J3/16-141
From:       Van Snyder
Subject:    Questions without answers or edits concerning Clause 14
Reference:  16-007
Date: 2016 January 25

General: For the arithmetic functions with two arguments, e.g.,
IEEE_REM, are arguments with different radices supported?  It should
either be stated explicitly, or denied explicitly.

[423:12 14.3p1] In the IEEE_INVALID list item, we see that IEEE_INVALID
occurs when X is real and has a nonzero negative value.  Does it signal
for IEEE_SQRT(-0.0)?

[427:0+2] Does the value of a named constant depend upon the rounding
mode?

[431:1 14.10p4] Is the assertion of the paragraph correct, or are the
elemental functions only provided for all real X and Y of kinds for
which IEEE_SUPPORT_DATATYPE ( X ) or IEEE_SUPPORT_DATATYPE ( Y ) has the
value true?

[437:37-38 14.11.18p6] Should the results be ABS(Y) and ABS(X)?

[438:34-35 14.11.20p6] Should the results be ABS(X) and ABS(Y)?

[439:14 14.11.21p6] Does "in the direction of Y" mean "in the direction
of the sign of Y" or "in the direction from X to Y?"  E.g., is
IEEE_NEXT_AFTER ( 1.0, 0.5 ) == 1.0 + EPSILON(1.0) or 1.0 -
EPSILON(1.0)?

[439:30 14.11.12p6] The result value paragraph says that only
IEEE_INVALID can signal from IEEE_NEXT_DOWN.  Does IEEE_INEXACT signal
if the result is subnormal?  Can IEEE_UNDERFLOW signal?

[440:7 14.11.13p6] The result value paragraph says that only
IEEE_INVALID can signal from IEEE_NEXT_UP.  Does IEEE_INEXACT signal if
the result is subnormal, e.g., from IEEE_NEXT_UP ( 0.0 )?  Can
IEEE_OVERFLOW signal, e.g., from IEEE_NEXT_UP ( HUGE(0.0) )?

[443:18-22 14.11.32] Does IEEE_RINT signal with the same signals and
under the same conditions as IEEE_INT?

[443:29 14.11.33p3] Is decimal radix X allowed?