[Mailman-Developers] User id - integer or UUID?

I have read previous discussion here about format of user_id

https://mail.python.org/pipermail/mailman-developers/2014-October/024024.htm...

That’s fine, I understand the issues.

The question is, I am storing user ids and it’s not clear to me if I should be storing them as INTs as returned by the REST API or converting back to UUID?

It’s important to get right now because Im going to use the same approach everywhere.

thanks