input: 
  def to_int_list(s: str) -> List[int]:
      """ Converts a given string of comma-separated numbers into a list of integers.
      >>> to_int_list("1,2,3,4,5")
      [1, 2, 3, 4, 5]
      >>> to_int_list("100,200,300")
      [100, 200, 300]
      """
      return [int(x) for x in s.split(',')]
  
output:     return [int(x) for x in s.split(',')]