integer divsion in python,int(x) / int(y) == math.floor(float(x) / float(y))