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