how to split a string into integers in python?,"a, b = (int(x) for x in s.split())"