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

[Damian McGuckin]

The words

a)  "correctly rounded result" now appears once in C2Y's body

b)  "correct rounding" at least appears a few times times

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.

Comments?? - Damian