[Ecls-list] wrong value for (float-sign -0.0)

[Gabriel Dos Reis]

On Sun, Sep 28, 2008 at 7:13 PM, Raymond Toy <toy.raymond at gmail.com> wrote.
>> | >
>> | > |  It looks like ecl
>> | > | doesn't support signed zeroes.  (eql -0.0 0.0) -> T.
>> | >
>> | > That equality has to hold no matter whether signed zeros are supported
>> | > or not.
>> | >
>> |
>> | No, that's incorrect.  -0.0 and 0.0 have completely different
>> | representations and eql makes it clear.
>>
>> OK, that is an unfortunate literal contradiction between CLHS and
>> IEEE-754.  I'm talking of the IEEE 754 semantics.  In IEEE-754,
>> -0.0 and 0.0 must compare equal; that is not open for interpretation
>> or debate. The only way you distinguish -0.0 from 0.0 is to ask for
>> its signbit.
>>
> You misunderstand the difference between eql and =.

Indeed. I'm interested in numerical comparison, not object representation.
That is all I need.

-- Gaby