I went to a Reddit meet-up sponsored by the dev team a couple years ago. Some of the numbers are crazy, like 1 developer per million daily users.