input: from typing import List
  
  def declare_float32_array(n: int) -> List[float]:
      """ Given an integer n, return a Python list of floats from 0 to n.
      >>> declare_float32_array(10)
      [0.0, 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0]
      >>> declare_float32_array(0)
      [0.0]
      """
      return [float(i) for i in range(n + 1)]
output:     return [float(i) for i in range(n + 1)]