TypeIs does what I thought TypeGuard would do in Python

there is an error in the thought of pretty print, there are 2 cases where the else branch gets numbers: 0 and 0.0 the logic of mypy and others is correct.