In the article, you explain that you need to generate sequential internal ID keys (Meilisearch also uses u32s internally to identify documents). Is this the same use case? What do you use them for? Do you reuse the IDs when deletions happen? And what is the integer size do you use? 3/4