[Cfp-interest 1932] Re: Fix the inaccuracy of j0f/y0f/j1f/y1f

[Paul Zimmermann]

       Dear Joseph,

> If you look at the current C2x draft N2596, 5.2.4.2.2 paragraph 8 says 
> that the accuracy of the library functions is implementation-defined.  

indeed it is written:

   [http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2596.pdf]

   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,  [...]

I know that the complex operations are not correctly rounded with say gcc,
but would it be possible that real addition is not correctly rounded? That
would contradict IEEE 754, no?

Best regards,
Paul