[Typing-sig] Re: How should we check numeric types at runtime in 2020?