convert a string to integer with decimal in python,int(s.split('.')[0])