R to @elonmusk: A practical limit to digits of pi is how many are needed to divide the universe into Planck voxels