@jamescooke Showing the type was sufficient. After all:
Python 3.9.2 (default, Feb 28 2021, 17:03:44)
[GCC 10.2.1 20210110] on linux
Type "help", "copyright", "credits" or "license()" for more information.
>>> a = pow(2, 30, 1<<30)
>>> type(a)
<class 'int'>
>>> a
0
>>> a is 0
False
`is`-equality is not a necessary condition for type-and-value equality, even for interned types like int and str.