Add __le__ and __ge__