While Python is still a dynamically typed language, in 2015, Python 3.5 gained support for Type Hints, which allow developers to include annotations that can be scrutinized by a type checker like ...

For such a case, a Python program would pass in two Python int types. But even then, you’d have to be careful: those int types would need to be expressable as a 64-bit integer.