Initial revision of the numeric UUID specification.
Resize UUID to be 32-bit with a 12-bit SID and a 20-bit UID.

This is more than big enough as it allows 4096 servers and 1048576
users per server.