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