--- In firebird-support@yahoogroups.com, "Steffen Heil" wrote:

> > /* INSERT INTO FLOAT_ZERO_TEST (PK, DV) VALUES (-0.0, -0.0);
> > causes duplicate exception */
>
> This *should* word. IEEE floats distiguish between -0 and +0.
> I DO consider this a BUG.

Whereas IEEE 754 distinguishes the -0.0 and 0.0 and defines
the different bit patterns for them, each computer language
is free is override the semantics (or be silent and let the
implementations battle it out).

For example, Java explicitely states that 0.0 == -0.0, see:
http://java.sun.com/docs/books/jls/second_edition/html/typesValues.doc.html#9208

If anybody in posession of the newest SQL standard will look this
up, the bug vs. feature issue can be decided.

Regards,
Peter Jacobi