Never occured to me before, but you're right, and it's an interesting way of putting it.

Github boasts "83 million developers", but I think the number of actual developers is probably closer to 0.83 million (which is still a very large amount).

But of course I am an insensitive jerk who likes to exclude people, because I think to be called a developer it takes more than registering an account, creating a repo with a couple of broken files and add noise to the signal.