input: def to_int_list(s: str) -> List[int]:
      """ Convert a given string of comma-separated numbers to a list of integers.
      >>> to_int_list("1,2,3")
      [1, 2, 3]
      >>> to_int_list("10,20,30,40")
      [10, 20, 30, 40]
      >>> to_int_list("5,6,7,8,9")
      [5, 6, 7, 8, 9]
      """
output:     return [int(num) for num in s.split(',')]