<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="">Here’s a suggested replacement for footnote 296 to address the issues mentioned in the earlier message (below). <div class=""><p class="MsoNormal"><a href="https://wiki.edg.com/pub/CFP/WebHome/footnote_296_rev.pdf" class="">https://wiki.edg.com/pub/CFP/WebHome/footnote_296_rev.pdf</a></p><p class="MsoNormal">The use of P for formatting precision and p for type precision is potentially confusing. But both are used in the current C2X draft in the description of A,a formatting in 7.21.6.1, and they seem easy enough to tell apart.</p></div><div class="">I assume the sufficiency inequality in the current version of the footnote is based on the property:</div><div class=""><br class=""></div><div class=""> b1^(p1-1) > b2^p2 implies base-b1 numbers of precision p1 distinguish base-b2 numbers of precision p2.</div><div class=""><br class=""></div><div class="">The improved inequality in the footnote revision comes from …</div><div class=""><br class=""></div><div class="">C can print floating point numbers in hexadecimal form: <br class=""><br class="">[-]h.h…hp+/-d <br class=""><br class="">where each h represents a hex digit, d is a decimal integer power of 2, and the h to the left of the radix point is nonzero (but otherwise unspecified). Where P is the formatting precision, i.e., the number hex digits to the right of the radix point, the hex form can represent at least all binary numbers with precision 4P+1.<br class=""><br class="">Using the property above,<br class=""><br class="">2^(4P+1-1) > 10^n<br class=""><br class="">or<br class=""><br class="">16^P > 10^n<br class=""><br class="">is sufficient for the hex output to distinguish decimal numbers of type precision n.<br class=""></div><div class=""><br class=""></div><div class="">Thanks to Jerome Coonen for consultation.</div><div class=""><br class=""></div><div class="">- Jim Thomas</div><div class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Jul 23, 2020, at 3:55 PM, Jim Thomas <<a href="mailto:jaswthomas@sbcglobal.net" class="">jaswthomas@sbcglobal.net</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">This is about footnote 296) in the C2X draft (N 2478). <br class=""><br class="">The anchor for the footnote is talking about the formatting precision which is denoted in the subclauses by P, to distinguish it from a type precision p. So it would seem the footnote should be talking about P instead of p. <br class=""><br class="">Then, could the sufficiency inequality be loosened to 16^(P-1) >= b^n? P is the number of digits to the right of the decimal point character, not the total number of digits, though the digit to the left of decimal point character might just be 1.<br class=""><br class="">- Jim Thomas<br class=""><br class=""></div></div></blockquote></div><br class=""></div></body></html>