How big is the world in miles?