This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 243: Add optional support for -0.0

2012-10-08 23:17:10
WG1 - Core
cowan
major
cowan
fixed
source
closed
2011-07-29 13:55:37
defect

Implementations should be permitted to distinguish 0.0 from -0.0 in accordance with IEEE 754. 0.0 and -0.0 should be the same to = and friends, but should be distinguishable by eqv?.

Mathematically, negative inexact zero represents a number greater than the largest representable negative inexact number and less than or equal to 0. This is different from positive inexact zero, which represents a number greater than or equal to 0 and less than the smallest representable positive inexact number.

resolution
statusnewdecided

WG1 accepted this proposal.

owneralexshinncowan
statusdecidedwriting
resolutionfixed
statuswritingclosed