String To Int Python Input Function Default