<div dir="ltr">Is there perhaps a more suggestive name? (Not that I'm coming up with one...)<div><br>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Mar 1, 2013 at 10:22 AM, Vincent St-Amour <span dir="ltr"><<a href="mailto:stamourv@ccs.neu.edu" target="_blank">stamourv@ccs.neu.edu</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">At Fri, 01 Mar 2013 09:05:21 +0100,<br> <div class="im">Marijn wrote:<br> > On 27-02-13 21:51, Neil Toronto wrote:<br> ><br> > > (An example that came up in the implementation of matrix norms: the<br> > > type of (sqrt (/ 1 x)) isn't Nonnegative-Real if x :<br> > > Nonnegative-Real, but Complex. Consider x = -0.0. Without TR's<br> > > complaints, `matrix-norm' would have contained a time bomb.)<br> ><br> > Should -0.0 really be a Nonnegative-Real?<br> <br> </div>That's by design.<br> <br> Including both floating-point zeroes in both non-negative and<br> non-positive types is necessary to make occurrence typing useful for<br> comparisons between floating-point numbers and zero (see PR12706 for<br> more details). It also simplifies parts of the numeric base environment<br> significantly.<br> <span class="HOEnZb"><font color="#888888"><br> Vincent<br> </font></span><div class="HOEnZb"><div class="h5"><br> _________________________<br> Racket Developers list:<br> <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br> </div></div></blockquote></div><br></div>