Uh, 10k digits of pi

[removed]