Python выделение чисел из строки

Народ, есть строка с числами, они отделены друг от друга ровно одним пробелом, нужно поместить числа из строки в список, причем желательно с int типом. Знаю как это через цикл и обработку каждого символа сделать, но может уже есть функция, которая преобразует строку в список чисел?