<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=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Aug 22, 2021, at 8:55 PM, 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, 21 Aug 2021 14:43:45 -0700 Jim Thomas wrote:<br class=""><blockquote type="cite" class=""><br class="">Please send any issues by end of noon Tuesday, August 24.<br class=""></blockquote><br class="">Instead of "all x with f1 > 0", how about<br class="">"all x that are model numbers with f1 > 0"<br class=""></div></div></blockquote><div><br class=""></div>The preceding sentence is:</div><div><br class=""></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div>For each floating-point type, a floating-point number (x) is defined by the following model:</div><div><br class=""></div><div><span class="Apple-tab-span" style="white-space:pre"> </span>x = …</div></blockquote><div class=""><br class=""></div><div class="">Doesn’t that make it clear what x is? Note that there are other references to “x” further on in the paragraph. Also, saying “all x that are model numbers” might suggest there are some x = … that are not model numbers. (I suppose “all model numbers x” might avoid that misunderstanding, but think it’s clear as is.).</div><div class=""><br class=""></div><div class="">- Jim Thomas</div><br class=""><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=""></body></html>