Ballpark — how big is the world?