[titzer]

Note that IEEE 754 defines exactly which zero you get in every combination of operands. -0 + 0 is actually 0.