<div class="gmail_quote">On 25 January 2011 11:06, Duncan Sands <span dir="ltr"><<a href="mailto:baldrick@free.fr">baldrick@free.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Hi Nick,<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
i1 1 (non-negative number) + i1 1 (power-of-two) != 0 -> false. You probably<br>
don't see this because we transform i1 add to xor very early on, but please make<br>
sure we don't get it wrong when someone does create it.<br>
</blockquote>
<br></div>
i1 1 is a negative number.<br></blockquote><div><br></div><div>Oh right! Thanks.</div><div><br></div><div>Nick</div></div>