convert a string to integer with decimal in python,int(Decimal(s))