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

Slightly off topic but I really like the approach where the honorific is just dropped entirely. So just [Name]. No Mr/Ms/Mrs. It mostly doesn’t serve any purpose anyway.