[cfp-interest 3733] Re: Comments on cfp3691 RoundingMode

[Jim Thomas]

> On Nov 13, 2025, at 8:44 PM, Damian McGuckin <damianm at esi.com.au> wrote:
> 
> 
> The words
> 
> a)  "correctly rounded result" now appears once in C2Y's body
> 
> b)  "correct rounding" at least appears a few times times

Mentioned only twice, both in the context of ISO/IEC 60559 specification which uses the term. I don’t think there is any confusion about what is meant.

> 
> c)  "correctly rounded" appears over 20 times
> 
> However, "correctly rounded" is explained in terms of "correct rounding", why not hijack the ISO/IEC 60559 definition of the latter and replace the
> definition of the term
> 
> 	correctly rounded result
> 
> with
> 	correct rounding
> 
>  The method of converting an infinitely precise result to the floating
>  point format of the result, subject to the current rounding direction
>  mode. A floating point number or its value that is so obtained is said
>  to be "correcty rounded"

> 
> The two existing "Notes" to this definition still apply.

I don’t see sufficient reason to change the current wording of 3.14, except for changing “current rounding mode” to “rounding direction”.

- Jim Thomas

> 
> Comments?? - Damian
> _______________________________________________
> cfp-interest mailing list
> cfp-interest at oakapple.net
> http://mailman.oakapple.net/mailman/listinfo/cfp-interest