How Big Is the World?