$\begingroup$ @Swivel But 0 does equal -0. Even under IEEE-754. The only reason IEEE-754 makes a distinction between +0 and -0 at all is because of underflow, and for +/- ∞, overflow. More @Wikipedia
Hover over any link to get a description of the article. Please note that search keywords are sometimes hidden within the full article and don't appear in the description or title.