Discussion on floats
Proposal by Joachim Schimpf
?- X is +0.0, Y is -0.0, X \== Y.