Better error messages when numerical comparison fails in the ArithmeticEngine.