import math
reveal_type(math.pi)
def circumference(radius: float) -> float:
    diameter = 2 * radius
    return math.pi*diameter
radius: int = 1
circumference: float = 2 * math.pi * radius
reveal_locals()