splitting a string into a list (but not separating adjacent numbers) in python,"[el for el in re.split('(\\d+)', string) if el.strip()]"