<div dir="ltr">On 10 April 2013 14:36, Dragomir Ivanov <span dir="ltr"><<a href="mailto:drago.ivanov@gmail.com" target="_blank">drago.ivanov@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Probably, the optimizer sees that there is second assignment, and skips the first, f=1.0. It never gets to second though.</div>

</blockquote><div><br></div><div>I tracked down the bug, and this is exactly right.  I'll submit a fix shortly.<br></div></div></div></div>