input: from typing import List
  
  def add(a: float, b: float) -> float:
      """ Add two numbers together and return the result.
      >>> add(5, 7)
      12
      >>> add(0, 0)
      0
      >>> add(-3, 3)
      0
      """
output:     return a + b