yeah it’s an interesting case that an int can be treated as a float. I should probably update my post to mention that it’s not strictly a supertype but a special exception mentioned in python’s typehinting pep: https://peps.python.org/pep-0484/#the-numeric-tower
Am I being stupid but would this not be a good reason to eat more of them? Be the wolves and Lynxes you want to see in the world.