How many active players on leaderboards?

I can see 1900ish active players on average over the last 30 days on via steam charts.

But when looking at MMR global leaders board I'd love to know how many players are actively playing.

Being rated 300th in the world for example, out of his many total?