Hi

> /* 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.

> The "order by DV" works as expected. "order by PK", the indexed column

definitely lists 0 first. This is wrong however you interpret -0 vs +0.

Okay. This is also a BUG.

Regards,
Steffen