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".
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.
Of course, "must be different" would only apply when the implementation actually provides negative zero.