[Cfp-interest 2725] Re: definition of "floating types"

[Vincent Lefevre]

On 2023-03-02 10:11:00 -0800, Jim Thomas wrote:
> Evaluation methods don’t affect function calls, including library
> functions. (TS 18661-5 provides a way of having them do so.) So,
> fma() must produce a double format result, with any evaluation
> method.

The issue is that 5.2.4.2.2p19 says

  2  evaluate all operations and constants to the range and precision
     of the long double type.

and various function calls are also operations. See for instance the
table in 5.2.4.2.3p10. So instead of "all operations", it should say
which operations are concerned.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)