Floating point numbers equality

Hi Jos,

This pull request implements the feature tracked as Issue#160.

RJB