For a parameter that has a default of None but should hold an int when provided, which annotation is correct and idiomatic?def f(timeout: ??? = None): ...
