P3938 Rationalize why negative zero should not be negative

[eisenwave]

It could be argued that negative zero is negative because 1.0/-0.0 is negative infinity.

I still think that defining negative zero as non-negative is the better option (in part because C does the same), but the topic could be discussed more deeply.