[cfp-interest 3901] Re: Converison Between Real Floating Types - 6.3.2.5

[RAJAN BHAKTA]

In reverse order, this is probably not a good item for the wording study group as they focus on fixing minor wording mistakes and matching existing standard wording for papers that are intended to be accepted by the committee. This item is more of a new proposal which would need direction on what to say while they would deal with making the “How” exact once we got close.

With regards to whether we need to tidy it up, we certainly could take on this item as it does fit into our groups purpose.


Regards,

Rajan Bhakta


From: cfp-interest <cfp-interest-bounces at oakapple.net> on behalf of Damian McGuckin <damianm at esi.com.au>
Date: Saturday, April 18, 2026 at 6:05 AM
To: CFP Interest <cfp-interest at oakapple.net>
Subject: [EXTERNAL] [cfp-interest 3899] Converison Between Real Floating Types - 6.3.2.5


Courtesy of Jan Schultke.

On being forced to read these clauses,

   When a value of real floating type is converted to a standard floating
   type, if the value being converted is in the range of values that can be
   represented but cannot be represented exactly, the result is either the
   nearest higher or nearest lower representable value, chosen in an
   implementation-defined manner. If the value being converted is outside
   the range of values that can be represented, the behavior is undefined

   When a value of real floating type is converted to a decimal floating
   type, if the value being converted cannot be represented exactly, the
   result is correctly rounded with exceptions raised as specified in
   ISO/IEC 60559.

I noticed the second uses totally different language to the second. Isn't
the former also talking about rounding according to the some mode. Also,
the second makes mention of the exceptions raised, e.g. inexact, overflow,
underflow or some combination.

Do we need to tidy that up?

Is this a perfect case for the new WG14 wording study group?

Thanks - Damian
_______________________________________________
cfp-interest mailing list
cfp-interest at oakapple.net
https://urldefense.proofpoint.com/v2/url?u=http-3A__mailman.oakapple.net_mailman_listinfo_cfp-2Dinterest&d=DwICAg&c=BSDicqBQBDjDI9RkVyTcHQ&r=XTIN0AwPKAf2bIKNxlzdeqggAytE5h-JEusWpx9MXwc&m=cXdu-5gMAinTbb9bNYPL3aiISnXA-MMgFEyxznyK3CNwb0WGDg42DaKNF4RuHz1I&s=vHn4-bMQbHtaCCxgrj3o-S3xH-zu5EuzGUOzr_PIS7g&e=
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20260419/1f42370d/attachment.htm>