<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=utf-8" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 11.00.9600.19431"></HEAD>
<BODY style="WORD-WRAP: break-word; -webkit-nbsp-mode: space">
<DIV dir=ltr align=left><SPAN class=984454212-04102021><FONT color=#0000ff
size=2 face=Arial>OK, yes, that's clearer.</FONT></SPAN></DIV>
<DIV dir=ltr align=left><SPAN class=984454212-04102021><FONT color=#0000ff
size=2 face=Arial></FONT></SPAN> </DIV>
<DIV dir=ltr align=left><SPAN class=984454212-04102021><FONT color=#0000ff
size=2 face=Arial>Mike</FONT></SPAN></DIV><BR>
<BLOCKQUOTE
style="PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #0000ff 2px solid; MARGIN-RIGHT: 0px">
<DIV lang=en-us class=OutlookMessageHeader dir=ltr align=left>
<HR tabIndex=-1>
<FONT size=2 face=Tahoma><B>From:</B> Cfp-interest
[mailto:cfp-interest-bounces@oakapple.net] <B>On Behalf Of </B>Jim
Thomas<BR><B>Sent:</B> 04 October 2021 01:05<BR><B>To:</B>
CFP<BR><B>Subject:</B> [Cfp-interest 2192] Re: AI about new wording for
unaccepted change<BR></FONT><BR></DIV>
<DIV></DIV><BR>
<DIV><BR>
<BLOCKQUOTE type="cite">
<DIV>On Oct 2, 2021, at 2:41 PM, Jim Thomas <<A
href="mailto:jaswthomas@sbcglobal.net">jaswthomas@sbcglobal.net</A>>
wrote:</DIV><BR class=Apple-interchange-newline>
<DIV><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px">
<BLOCKQUOTE
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; font-variant-caps: normal; -webkit-text-stroke-width: 0px; -webkit-text-size-adjust: auto"
type="cite">On Oct 1, 2021, at 6:09 AM, Fred J. Tydeman <<A
href="mailto:tydeman@tybor.com">tydeman@tybor.com</A>> wrote:<BR><BR>On
Thu, 30 Sep 2021 15:46:56 -0700 Jim Thomas wrote:<BR>
<BLOCKQUOTE type="cite"><BR>b) The results are not equivalent because
they have different quantum exponents.<BR><BR></BLOCKQUOTE><BR>How
about:<BR><BR>The results are equal, but have different quantum exponents,
hence are not equivalent.<BR></BLOCKQUOTE><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><SPAN
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FLOAT: none; FONT-WEIGHT: normal; FONT-STYLE: normal; DISPLAY: inline !important; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px">The
statement suggests that if the results were equal (meaning compare equal)
and had the same quantum exponent, then they would be equivalent, which is
not true for signed zeros. The two result 12.34 and 12.340, on the preceding
two lines, are obviously equal. So saying the results are equal doesn’t seem
needed.<SPAN class=Apple-converted-space> </SPAN></SPAN><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"></DIV></BLOCKQUOTE>
<DIV><BR></DIV>
<DIV>Sorry. These last two sentences can only have confused the situation. The
referenced preceding two lines </DIV>
<DIV><BR></DIV></DIV>
<BLOCKQUOTE
style="BORDER-TOP: medium none; BORDER-RIGHT: medium none; BORDER-BOTTOM: medium none; PADDING-BOTTOM: 0px; PADDING-TOP: 0px; PADDING-LEFT: 0px; MARGIN: 0px 0px 0px 40px; BORDER-LEFT: medium none; PADDING-RIGHT: 0px">
<DIV>
<DIV>1. × 12.34 = (+1, 1, 0) × (+1, 1234, −2) = (+1, 1234, −2)
= 12.34 </DIV></DIV>
<DIV>
<DIV><BR></DIV></DIV>
<DIV>
<DIV>1.0 × 12.34 = (+1, 10, −1) × (+1, 1234, −2) = (+1, 12340, −3) =
12.340</DIV></DIV></BLOCKQUOTE>
<DIV>
<DIV><BR></DIV>
<DIV>exemplify two different transformations, the first valid, the second not
valid.</DIV>
<DIV><BR></DIV>
<DIV>The current text and the suggested changes start with “The results” which
would seem to refer to the two preceding lines, which is misleading. I believe
WG14 was concerned about the use of “equal” here and not this second
problem.</DIV>
<DIV><BR></DIV>
<DIV>Here's another suggestion for the new words (to follow the two lines
above):</DIV>
<DIV><BR></DIV></DIV>
<BLOCKQUOTE
style="BORDER-TOP: medium none; BORDER-RIGHT: medium none; BORDER-BOTTOM: medium none; PADDING-BOTTOM: 0px; PADDING-TOP: 0px; PADDING-LEFT: 0px; MARGIN: 0px 0px 0px 40px; BORDER-LEFT: medium none; PADDING-RIGHT: 0px">
<DIV>
<DIV>c) In the second case, the factor 12.34 and the result 12.340 have
different quantum exponents, demonstrating that 1.0 * x and x are not
equivalent expressions. </DIV>
<DIV><BR></DIV></DIV></BLOCKQUOTE>- Jim Thomas<BR>
<DIV>
<DIV><BR></DIV>
<BLOCKQUOTE type="cite">
<DIV><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><SPAN
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FLOAT: none; FONT-WEIGHT: normal; FONT-STYLE: normal; DISPLAY: inline !important; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px">(I
believe the original idea behind the term "numerically equal” was to exclude
different signed zeros and hence imply more than just equal or compare
equal.)</SPAN><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><SPAN
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FLOAT: none; FONT-WEIGHT: normal; FONT-STYLE: normal; DISPLAY: inline !important; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px">-
Jim Thomas</SPAN><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px">
<BLOCKQUOTE
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; font-variant-caps: normal; -webkit-text-stroke-width: 0px; -webkit-text-size-adjust: auto"
type="cite"><BR>---<BR>Fred J. Tydeman
Tydeman Consulting<BR><A
href="mailto:tydeman@tybor.com">tydeman@tybor.com</A>
Testing, numerics, programming<BR>+1 (702)
608-6093 Vice-chair of PL22.11 (ANSI
"C")<BR>Sample C99+FPCE tests: <A
href="http://www.tybor.com">http://www.tybor.com</A><BR>Savers sleep well,
investors eat well, spenders work
forever.<BR><BR>_______________________________________________<BR>Cfp-interest
mailing list<BR><A
href="mailto:Cfp-interest@oakapple.net">Cfp-interest@oakapple.net</A><BR>http://mailman.oakapple.net/mailman/listinfo/cfp-interest<BR></BLOCKQUOTE><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><SPAN
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FLOAT: none; FONT-WEIGHT: normal; FONT-STYLE: normal; DISPLAY: inline !important; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px">_______________________________________________</SPAN><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><SPAN
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FLOAT: none; FONT-WEIGHT: normal; FONT-STYLE: normal; DISPLAY: inline !important; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px">Cfp-interest
mailing list</SPAN><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><A
style="FONT-SIZE: 12px; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; font-variant-caps: normal; -webkit-text-stroke-width: 0px; -webkit-text-size-adjust: auto"
href="mailto:Cfp-interest@oakapple.net">Cfp-interest@oakapple.net</A><BR
style="FONT-SIZE: 12px; TEXT-DECORATION: none; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; caret-color: rgb(0, 0, 0); font-variant-caps: normal; -webkit-text-stroke-width: 0px"><A
style="FONT-SIZE: 12px; FONT-FAMILY: Helvetica; WHITE-SPACE: normal; WORD-SPACING: 0px; TEXT-TRANSFORM: none; FONT-WEIGHT: normal; FONT-STYLE: normal; LETTER-SPACING: normal; TEXT-INDENT: 0px; font-variant-caps: normal; -webkit-text-stroke-width: 0px; -webkit-text-size-adjust: auto"
href="http://mailman.oakapple.net/mailman/listinfo/cfp-interest">http://mailman.oakapple.net/mailman/listinfo/cfp-interest</A></DIV></BLOCKQUOTE></DIV><BR></BLOCKQUOTE></BODY></HTML>