Python: Extract numbers from a string,[int(s) for s in str.split() if s.isdigit()]