>>8
Good point. I had assumed a 1/3rd decrease, so it would in fact take 4 billion stone tablets, not 1.3.