Arithmetic can now be used in comparisons