[math-fun] 1.24 Trillion digits of pi & Stansilaw Lem