Should 0.0 and -0.0 be distinct in the sense of EQV?
|Reported by:||cowan||Owned by:||cowan|
|Component:||WG1 - Core||Keywords:|
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".
Change History (4)
comment:3 Changed 5 years ago by cowan
- Owner changed from alexshinn to cowan
- Status changed from decided to writing