def int_add(self, other): assert equals(core.type(other), _tp_integer) return W_Integer(self.int() + other.int())
def int_equals(self, other): if not core.type(other) == _tp_integer: return w_false if self.int() == other.int(): return w_true return w_false