How big is a punillion?