Discussion on floats

Proposal by Joachim Schimpf

?- X is +0.0, Y is -0.0, X \== Y.