What arithmetic operations do you realistically expect to do with user ids? You might not make that specific error, but it seems to me that any arithmetic opera

What arithmetic operations do you realistically expect to do with user ids? You might not make that specific error, but it seems to me that any arithmetic operation is likely to a bug, and giving user ids their own type will catch all of them.