How many software developers do you think there are in the world?