Good to know that extra 1.9999% was worth a comment. It’s pretty similar to the number of desktop Linux users even (edit: which seem to be over 3% now actually, great).
1.9999% of android users would form the 19th largest country in the world by population. It’s absolutely worth clarifying a difference of that scale when you’re talking about something niche.
And I want to be a citizen of that country. The Indian custom ROM hackers can be the ruling class with the amount of CPU it takes to build Android & their good will to release it for us.