<div dir="ltr">Section 5.3.1. of IEEE 754-2019 states "nextUp(x) is quiet except for signaling NaNs".  If we follow that, no overflow in any cases.<div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Nov 22, 2021 at 10:47 AM Fred J. Tydeman <<a href="mailto:tydeman@tybor.com">tydeman@tybor.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">On Mon, 22 Nov 2021 10:06:22 -0800 Jim Thomas wrote:<br>
><br>
>Reword the specification of the nextup and nextdown functions to not refer to the HUGE_VAL macros, along the lines Vincent suggested. For example,<br>
><br>
>Replace <br>
><br>
>       nextup(HUGE_VAL) is HUGE_VAL,<br>
><br>
>with <br>
><br>
>       If x is the maximum number in the type, nextup(x) is x.<br>
><br>
<br>
So, on systems without infinity, since there is no next higher number<br>
than the maximum finite number, should that be an overflow?<br>
If not, than it would help to add "(without overflow)" at the end of<br>
what you suggest.<br>
<br>
---<br>
Fred J. Tydeman        Tydeman Consulting<br>
<a href="mailto:tydeman@tybor.com" target="_blank">tydeman@tybor.com</a>      Testing, numerics, programming<br>
+1 (702) 608-6093      Vice-chair of PL22.11 (ANSI "C")<br>
Sample C99+FPCE tests: <a href="http://www.tybor.com" rel="noreferrer" target="_blank">http://www.tybor.com</a><br>
Savers sleep well, investors eat well, spenders work forever.<br>
<br>
_______________________________________________<br>
Cfp-interest mailing list<br>
<a href="mailto:Cfp-interest@oakapple.net" target="_blank">Cfp-interest@oakapple.net</a><br>
<a href="http://mailman.oakapple.net/mailman/listinfo/cfp-interest" rel="noreferrer" target="_blank">http://mailman.oakapple.net/mailman/listinfo/cfp-interest</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr">Best Regards,<div>David.</div><div><b><br></b></div><div><b>***Email Disclaimer</b>: This email is intended only for addressee(s), may be confidential or proprietary, and may constitute inside information that is protected from disclosure under law. If you are not the intended recipient, you are hereby notified not to read, disclose, distribute or otherwise use this email.  If you are not the intended recipient, please inform the sender by reply email and destroy all copies of the original message.  Thank you.</div><div><br></div></div></div>