I am certainly no big floating point user, but are there really very many cases where you would correctly use equality in a floating point program? Any way, I think that it all depends on the common case. Of course there is Real.==, so it isn't that the operation isn't available.