I think -0 + 0 == 0 is correct IEEE 754 behavior too. Two numbers that only differ in the sign cancel out to +0 when added together.