To: J3 07-333
From: Dan Nagle and John Reid
Subject: UTI 136 (p437): Re IEEE_SUPPORT_DENORMAL
Date: 2007 November 12
References: J3/07-007r3, ANSI/IEEE Std 754–1985
Discussion
The editor remarks that there can be no operations defined by
intrinsic functions. While this is true for Fortran operations,
it is not so for the operations of the IEEE standard. Section 5
of the IEEE standard states
"All conforming implementations of this standard shall provide
operations to add, subtract, multiply, divide, extract the square
root, find the remainder, round to integer in floating-point format,
convert between different floating-point formats, convert between
floating-point and integer formats, convert binary <-> decimal, and
compare."
Edits are provided to make this clear.
The editor also says that it would help to know exactly which
specifications are involved. We agree and propose the addition of a
note.
Edits to 07-007r3
[437:4-6,8-10,12-14] In 14.9 IEEE arithmetic, replace the second
sentence of paragraph 4 by
"Where these are supported, their behavior for the unary and
binary operations of Section 5 of the IEEE International Standard
including those defined by intrinsic functions and by functions
in intrinsic modules, shall be consistent with the specifications
in the IEEE International Standard".
Make the same change in paragraphs 5 and 6.
[437:14+] In 14.9 IEEE arithmetic, after paragraph 6, add
"NOTE 14.7a
The operations of Section 5 of the IEEE International Standard
are add, subtract, multiply, divide, extract the square
root, find the remainder, round to integer in floating-point format,
convert between different floating-point formats, convert between
floating-point and integer formats, convert binary <-> decimal, and
compare."