[Cfp-interest 3005] Re: WG14 IEEE 754-C binding meeting minutes - 2024/01/10

[Vincent Lefevre]

On 2024-01-10 18:01:57 +0000, Rajan Bhakta wrote:
>       [SC22WG14.24405] Comments on C23 DIS ballot comments (N3191)
>         See [Cfp-interest 2973] DIS comment about correctly rounded result Jim Thomas
>           Joshua: I had confusion as to what the "or" in the fix bind to.
>           Rajan: In addition to Joshua's valid comment, this list form now may need to be updated in the future for other cases if added.
>           David: Don't see how the input part works.
>           Jim: Some parts have values that are operands to the operator that are correctly rounded.
>           Joshua: Some implicit operations need to be correctly rounded. Ex. Conversion to a string. Binary to decimal needs to be correctly rounded.

But only the result of an operation can be correctly rounded.
Saying that an input is correctly rounded does not make sense.
Operations just consider their inputs as *exact* values.

-- 
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)