On Sun, Apr 21, 2013 at 4:10 PM, Daniel Fischer <daniel.is.fischer at googlemail.com> wrote: > > Also > > abs x > | x < 0 = negate x > | otherwise = x > > keeps the number of tests at one. > This gives the wrong result for -0.0 (which is compare-equal to +0.0). Shachaf