I wonder whether a system trigger on CREATE USER is possible, that would populate a user_id table with such a number?

On the other hand, maybe it's possible to apply a function to the username string to deterministically turn it into a number?

+1 for "what's the business case?", though.