Python - converting a string of numbers into a list of int,"map(int, example_string.split(','))"