[Cfp-interest 1973] Re: WG14 IEEE 754-C binding meeting minutes2021/04/13 -- correct rounding

[Fred J. Tydeman]

On Wed, 14 Apr 2021 16:14:49 +0100 Mike Cowlishaw wrote:
>
>Re: 
>
>> *AI*: Any: CFP1934: Look into adding in that basic math 
>> operations (+, -, *, /) should be correctly rounded.
>
>It looks as though the primary cases of these where 'should be correctly
>rounded' might be in order are in 6.5.5 (paras 5 & 6) and 6.5.6 (paras 6 &
>7). 

Also, 5.2.4.2.2#8
The accuracy of the floating-point operations (+ ,- , * , / ) and of the library functions in <math.h>
and <complex.h> that return floating-point results is implementation-defined, ....


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