To: J3 07-332 From: Dan Nagle and John Reid Subject: UTI 135 (p436): Internal contradiction about IEEE arithmetic Date: 2007 November 10 References: J3/07-007r3, ISO/IEC TR 15580 Discussion The editor points out a contradiction between the first and second paragraphs of 14.9. The sentence in TR 15580 that corresponds to the second paragraph of 14.9 is "For each of the other arithmetic operators and for each implemented IEEE rounding mode, the result shall be as specified in the IEEE standard whenever the operands and IEEE result are normalized." Here, "other" means other than divide. What is missing in 14.9 is "and for each implemented IEEE rounding mode". We propose that this be restored. The editor is also critical of the words at the end of the second paragraph of 14.9, which are unnecessary in view of 7.1.5.2.1. These words were not present in TR 15580. We think that they should be deleted. Edit to 07-007r3 [436:24-26] In 14.9 IEEE arithmetic, replace the second paragraph by "For each of the operations of addition, subtraction, and multiplication, and for each implemented IEEE rounding mode, the result shall be as specified in the IEEE International Standard whenever the operands and IEEE result are normalized."