Google employee calculates value of Pi to 31T digits

Of course, this is just a rough working estimate for now.