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