mos_8502 :verified: on Nostr: This would be useful for making numeric types for which operations are *invalid* - ...

This would be useful for making numeric types for which operations are *invalid* - while degrees Celsius and number of votes cast are both trivially representable as an int, they should be incapable of being added together because that’s nonsense.