From what I can tell, all resource and subject IDs are string in spiceDB. Is the correct? Whats the recommended way of storing resource IDs that are integers, (such as a sql primary key)? Should we base64 encode it, or just "stringify" the number? Is there any efficiency that's gained by keeping IDs short?