<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 19, 2018, at 11:35 AM, Jim Thomas <<a href="mailto:jaswthomas@sbcglobal.net" class="">jaswthomas@sbcglobal.net</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class=""><br class=""><br class=""><blockquote type="cite" class="">On Aug 2, 2018, at 10:21 AM, Fred J. Tydeman <<a href="mailto:tydeman@tybor.com" class="">tydeman@tybor.com</a>> wrote:<br class=""><br class="">Other necks() questions.<br class=""><br class="">Many of the math functions in Annex F in C17, have words like:<br class="">The returned values are exact and are independent of the current rounding direction mode.<br class=""></blockquote><br class="">Agreed. </div></div></blockquote><div><br class=""></div><div><div><div>I suggest the following editorial changes.</div><div><br class=""></div><div>Append to F.10.8.5 (TS 18661-1), the sentence:</div><div><br class=""></div></div><blockquote style="margin: 0px 0px 0px 40px; border: none; padding: 0px;" class=""><div><div>nextup(x) raises no floating-point exceptions if x is not a signaling NaN. The returned value is independent of the current rounding direction mode.</div></div></blockquote><div><div><div><div><br class=""></div><div>Append to F.10.8.6 (TS 18661-1), the sentence:</div><div><br class=""></div></div><blockquote style="margin: 0px 0px 0px 40px; border: none; padding: 0px;" class=""><div><div>nextdown(x) raises no floating-point exceptions if x is not a signaling NaN. The returned value is independent of the current rounding direction mode.</div></div></blockquote><div><div><br class=""></div></div></div></div></div></div><div><div>- Jim Thomas</div><br class=""><blockquote type="cite" class=""><div class=""><div class="">Are there other such places?<br class=""><br class=""><blockquote type="cite" class=""><br class="">Perhaps those should be added to necks().<br class=""><br class="">Also, if long double is a pair of doubles, what is nextup(1.L)?<br class="">Is it<br class="">1.L + LDBL_EPSILON<br class="">or<br class="">1.L + LDBL_TRUE_MIN == 1.L + LDBL_EPSILON * LDBL_MIN<br class=""></blockquote><br class="">I’d think the latter. The ragged precision of double-double is already a problem in C (e.g., what is p?). and not something CFP needs to address.<br class=""><br class="">- Jim Thomas<br class=""><br class=""><blockquote type="cite" class=""><br 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=""></blockquote><br class=""></div></div></blockquote></div><br class=""></body></html>