I mean, there’s over 2 Billion desktops, according to data in 2019. But because of the whole lockdown stuff, it probably increased pretty significantly in the following years, so let’s just say, 2.2 Billion desktops worldwide right now.
Doing some back-of-the-napkin math, 7.67 is about 7.5%, which is 3/4 of 10% and 10% is 1/10 of the whole, so 10% of 2.2 billion is 220 Million, and 3/4 of that is (2/4 or 1/2 plus 1/4 which equals 110m + 55m which is…) 165 million users.
So yeah. There will be dozens. Tens of millions of dozens, to be precise.
Edit: Also, yes. That sort-of proves that there’s about half of that (actually abit more than half but it’s an estimate), so about 82 Million desktop Linux users right now
(This is assuming all of these 2.2 Billion devices were used to access the internet in the last month)