In your example you'd just have two different types with no subtraction operation defined between them. That has nothing to do with type hints. What you probab

In your example you'd just have two different types with no subtraction operation defined between them. That has nothing to do with type hints. What you probably meant: This is where being strongly typed helps. Python is and always has been strongly typed.