>>> class Int(int): ... def __add__(self, other): ... return self.real + other + 1 ... >>> n = Int(10) >>> n + 4 15 >>>