Floating point numbers equality/inequality

Hi Jos,

This is the floating point numbers equality/inequality implementation.

RJB