<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">I don’t think we can require the C functions (that are not required to be correctly rounded) to determine the mathematical result with infinite precision.</div><div class=""><br class=""></div><div class="">- Jim Thomas</div><div class=""><div><br class=""><blockquote type="cite" class=""><div class="">On May 25, 2021, at 11:15 AM, David Chen <<a href="mailto:dave.h.chen@gmail.com" class="">dave.h.chen@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">Could we say "mathematical result with infinite precision"? We may have to consider the possibility that an implementation generates its final results directly without any preliminary results or rounding during the process.<div class=""><br class=""></div><div class="">Best,</div><div class="">David.</div><div class=""><br class=""></div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, May 25, 2021 at 11:01 AM Fred J. Tydeman <<a href="mailto:tydeman@tybor.com" class="">tydeman@tybor.com</a>> wrote:<br class=""></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 Sat, 22 May 2021 21:08:44 -0700 Jim Thomas wrote:<br class="">
><br class="">
>The IEC 60559 model for correct rounding includes a (hypothetical) preliminary result correct to infinite range and precision. In C (outside of Annex F), which doesn't have this model and doesn't require correct rounding, what does "result with infinite precision" refer to?<br class="">
<br class="">
I was thinking of result before final rounding.<br class="">
<br class="">
I want to exclude zero and +/-min normal if they are exact from being underflow.<br class="">
<br class="">
<br class="">
---<br class="">
Fred J. Tydeman Tydeman Consulting<br class="">
<a href="mailto:tydeman@tybor.com" target="_blank" class="">tydeman@tybor.com</a> Testing, numerics, programming<br class="">
+1 (702) 608-6093 Vice-chair of PL22.11 (ANSI "C")<br class="">
Sample C99+FPCE tests: <a href="http://www.tybor.com/" rel="noreferrer" target="_blank" class="">http://www.tybor.com</a><br class="">
Savers sleep well, investors eat well, spenders work forever.<br class="">
<br class="">
_______________________________________________<br class="">
Cfp-interest mailing list<br class="">
<a href="mailto:Cfp-interest@oakapple.net" target="_blank" class="">Cfp-interest@oakapple.net</a><br class="">
<a href="http://mailman.oakapple.net/mailman/listinfo/cfp-interest" rel="noreferrer" target="_blank" class="">http://mailman.oakapple.net/mailman/listinfo/cfp-interest</a><br class="">
</blockquote></div><br clear="all" class=""><div class=""><br class=""></div>-- <br class=""><div dir="ltr" class="gmail_signature"><div dir="ltr" class="">Best Regards,<div class="">David.</div><div class=""><b class=""><br class=""></b></div><div class=""><b class="">***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 class=""><br class=""></div></div></div>
_______________________________________________<br class="">Cfp-interest mailing list<br class=""><a href="mailto:Cfp-interest@oakapple.net" class="">Cfp-interest@oakapple.net</a><br class="">http://mailman.oakapple.net/mailman/listinfo/cfp-interest<br class=""></div></blockquote></div><br class=""></div></body></html>