float compare x < y => x-y < -DBL_EPSILON