def make_number(self, num): num = str(0 + eval(str(num), {}, {})) number = Term(num, ttype=self.number) number.number = True return number