<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br id="lineBreakAtBeginningOfMessage"><div><br><blockquote type="cite"><div>Begin forwarded message:</div><br class="Apple-interchange-newline"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>From: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">Christopher Bazley <chris.bazley.wg14@gmail.com><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Subject: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;"><b>[SC22WG14.28504] 2024/12/01 Thomas, Proposal for C2Y - Improved treatment of error conditions for functions that round result to narrow type</b><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Date: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">February 9, 2025 at 9:20:33 AM MST<br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>To: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">wg14 <sc22wg14@open-std.org><br></span></div><br><div><div>Sorry but I really don't like the new wording proposed by this paper.<br>I'm not entirely convinced it is grammatically correct, but more<br>importantly, I do not think it is easy to understand correctly.<br><br>To take one example, the paper proposes to replace "A domain error may<br>occur for infinite arguments" with "A domain error may occur for both<br>arguments infinite and either with the same sign or unsigned."<br><br>The above text is supposed to describe functions such as<br>float fsub(double x, double y);<br>better than the current description.<br><br>I find it unclear whether "both arguments infinite" means x=infinity<br>and y=infinity, or "both" of the following conditions:<br>- infinite<br>- with the same sign or unsigned<br><br>Does "either" refer to either argument, or either with the same sign<br>or unsigned?<br><br>I think the wording should be reworked, if others are similarly confused.<br><br>Chris<br></div></div></blockquote></div><br></body></html>