How to split a string into integers in Python?,"""string"".split()"