On Tue, 21 Sep 2010, Eliot Miranda wrote: > Fixed in r2312. I had misread the code generated by gcc and instead of > transforming a < b into !(b > a) and a <= b into (!b >= a) I had transformed > a < b into !(b >= a) and a <= b into !(b > a). Tricky. Thanks, it works well now, also all Float-related tests pass. Levente