[cfp-interest 3381] Proposal for C2Y - Improved treatment of error conditions for functions that round result to narrow type

[Jerome Coonen]

Greetings, please find attached an update to the proposal to improve
wording around the functions fadd, fsub, fmul, fdiv, and fma that round to
a narrower format. The standards editor objected to the oblique wording of
conditions. The version here is longer and, I hope, clearer.

The two changes are set in a larger face.

One nontrivial change is the mention of either infinite argument being
unsigned in fsub. The prior wording presumed that infinite values are
either all signed or all unsigned, but that is not required. This wording
removes any question about the matter.

Hope this helps.

-Jerome Coonen
 650.996.4738
 jcoonen at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20250211/43c5b24e/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: proposal re errors in functions that round narrow v2.pdf
Type: application/pdf
Size: 102312 bytes
Desc: not available
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20250211/43c5b24e/attachment-0001.pdf>