<div dir="ltr"><div>Greetings, please find attached an update to the proposal to improve wording around the functions fadd, fsub, fmul, fdiv, and fma that round to a narrower format. The standards editor objected to the oblique wording of conditions. The version here is longer and, I hope, clearer.</div><div><br></div><div>The two changes are set in a <font size="4">larger face</font>. </div><div><br></div><div>One nontrivial change is the mention of either infinite argument being unsigned in fsub. The prior wording presumed that infinite values are either all signed or all unsigned, but that is not required. This wording removes any question about the matter.</div><div><br></div><div>Hope this helps.</div><div><br></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">-Jerome Coonen<div> 650.996.4738</div><div> <a href="mailto:jcoonen@gmail.com" target="_blank">jcoonen@gmail.com</a></div></div></div></div></div>