input: from typing import List
  
  def double_add(num1: float, num2: float) -> float:
      """ Adds the two given numbers and then doubles the result.
      >>> double_add(1, 2)
      6
      >>> double_add(3.5, 4.5)
      16
      """
output:     return (num1 + num2) * 2