Global dev population is 20M. If the global workforce is 4B people, that's 5 per thousand. Not much indeed.