Paolo,<br><br>This is why I think we should separate the issue of numerical quantity from the issue of numerical representation.<br><br>There is a double the value of which is the integer 2^1023 exactly.<br><br>There is no double the value of which is the integer 2^1024 exactly.
<br><br>How we choose to represent such numbers in the context of different computer languages is a different issue.<br><br>Now, we can easily add emaxLIA, emaxIEEE and emaxAnotherRepresentationStrategy. However, the only thing that remains stable, independently of how we arbitrarily choose to represent doubles in source code, is the implementation limit of the binary representation --- which is codified as a standard and is something that every source code representation scheme will have to abide by. Therefore, I think emax should refer to the characteristic behavior of the binary representation of doubles.
<br><br>Thanks,<br>Andres.<br><br><div class="gmail_quote">On Dec 3, 2007 7:09 AM, Paolo Bonzini <<a href="mailto:paolo.bonzini@lu.unisi.ch">paolo.bonzini@lu.unisi.ch</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">> Note that this is so regardless of whether we<br>> choose to write mantissas in LIA or in IEEE, because we still agree that<br>> 2^1023 is a double while 2^1024 is not.<br><br></div>The point is that neither 2^1023 nor 2^1024 are doubles, because the
<br>mantissa is 1 (out of range!). 0.5*2^1024 is a double, and 0.5*2^1025<br>is not a double. That's why *in C* emax is 1024 and Smalltalk should do<br>the same.<br><div><div></div><div class="Wj3C7c"><br>Paolo<br><br>
_______________________________________________<br>ANSI-Smalltalk mailing list<br><a href="mailto:ANSI-Smalltalk@lists.openskills.org">ANSI-Smalltalk@lists.openskills.org</a><br><a href="http://lists.openskills.org/cgi-bin/mailman/listinfo/ansi-smalltalk" target="_blank">
http://lists.openskills.org/cgi-bin/mailman/listinfo/ansi-smalltalk</a><br></div></div></blockquote></div><br>