Fix a precision problem

When comapring real numbers for equality one shouldn't compare the difference
of both values with zero. Due to rounding effects the result can be slightly
differnt from zero. If the difference of the values is smaller than a a small
value ( e.g. 0.00001 ) both values are equal.

MR 1583
cherry-picked from bf16e631