If I understood correctly, on the lightning network 1/1000th of a sat is already the smallest denomination. And by the time the party occures I don't think the main chain is used other than for lightning.

Also, it is technically not that difficult to break sats up into a thousand or more parts.

Now... let's debate on the name of a 1/1000th sat. I say a Nakamoto. Makes sense huh? 😄