A 10% increase to total labor productivity would be huge. It would add trillions to global GDP.