<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><blockquote type="cite" class=""><div class="">On May 28, 2021, at 4:47 PM, David Hough CFP <<a href="mailto:pcfp@oakapple.net" class="">pcfp@oakapple.net</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Thinking of the infinitely-precise result I thought<br class=""><br class="">"or if it is inexact and has magnitude <br class="">no greater than <br class="">the minimum normalized number in the type"<br class=""><br class="">could be<br class=""><br class="">"or if it is inexact and has magnitude <br class="">less than <br class="">the minimum normalized number in the type"<br class=""><br class="">But if we are talking about the rounded result, it could be inexact<br class="">and equal to the minimum normal, which is the confusing case for most<br class="">people.<br class=""><br class=""></div></div></blockquote><br class=""></div><div>In the wording I suggested in email yesterday:<div class=""><br class=""></div><div class=""><blockquote type="cite" class=""><div class=""><div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";">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></blockquote><div class=""><div class=""><div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: "Helvetica Neue";"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">the result is the final result.</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">On further thought, I don’t think my suggestion above is better than what CFP agreed to send to WG 14:</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div></div></div></div></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div><div class=""><div>The result underflows if the a nonzero result value with ordinary accuracy would have magnitude (absolute value) no larger than the minimum normalized number in the type.</div></div></div></blockquote><br class=""><div class="">so will follow up on the action item to submit it. If CFP finds better wording we can submit an update proposal. This reduces our risk of not getting the proposal in before a WG 14 deadline for new proposals.</div><div class=""><br class=""></div><div class="">- Jim Thomas</div></body></html>