Please use `a<b-EPS` and `a>b+EPS`