<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=""><div><blockquote type="cite" class=""><div class="">On May 25, 2021, at 10:00 AM, Fred J. Tydeman <<a href="mailto:tydeman@tybor.com" class="">tydeman@tybor.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">On Sat, 22 May 2021 21:08:44 -0700 Jim Thomas wrote:<br class=""><blockquote type="cite" 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=""></blockquote><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=""></div></div></blockquote><div class=""><br class=""></div><div class="">Here’s a draft that excludes zero and +/- min normal. It also avoids referring to a hypothetical result (with infinite precision or ordinary accuracy).</div><div class=""><br class=""></div><blockquote style="margin: 0px 0px 0px 40px; border: none; padding: 0px;" class=""><div class=""><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class="">The result underflows if it is nonzero and has magnitude (absolute value) less than the minimum normalized number in the type, or if it is inexact and has magnitude no greater than the minimum normalized number in the type.</div></div><div style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";" class=""><br class=""></div></blockquote><span style="font-family: "Helvetica Neue"; font-size: 13px;" class="">- Jim Thomas</span><br class=""><div class=""><div><br class=""><blockquote type="cite" class=""></blockquote></div></div><blockquote type="cite" class=""><div class=""><div class=""><br class="">---<br class="">Fred J. Tydeman Tydeman Consulting<br class=""><a href="mailto:tydeman@tybor.com" 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" 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" class="">Cfp-interest@oakapple.net</a><br class="">http://mailman.oakapple.net/mailman/listinfo/cfp-interest<br class=""></div></div></blockquote></div><br class=""></div></body></html>