Currently, the draft report implies that 0.0 and -0.0 must be the same in the sense of eqv?. Options: status quo, change to "must be different", change to "may be different".
Of course, "must be different" would only apply when the implementation actually provides negative zero.
The WG voted to make `(eqv? 0.0 -0.0) explicitly unspecified.
This was overridden by later decisions: 0.0 and -0.0 are now distinct in the sense of eqv? provided the implementation uses IEEE 754.