Inconsistent math with users

I looked at the “Joined exercism” badge this morning. It showed

1538644 members representing 100% of all users.

However, when I looked at the “Rookie” badge stats around the same time:

It shows that 453645 users represent 56.71% of all users.

The math doesn’t work: 56.71% of 1538644 users is 872525.01 users, not 453645.

(tagging @iHiD and @dem4ron per iHiD’s request)

It seems like the total number of users was set to 800_000 for all badges except for the Member badge, and was never updated to use real data. [1]


Ah yes. You’ve very right! And User.count is very slow.