population of the world minus 2^32