How big is a world?