input: from typing import List
  
  def avg_list(lst: List[int]) -> float:
      """ Calculate the average of a list of numbers.
      >>> avg_list([1, 2, 3, 4, 5])
      3.0
      >>> avg_list([0, -10, 10, 5])
      1.25
      """
output:     total = sum(lst)
      count = len(lst)
      return total / count