[math-fun] Pi to 31.4 trilllion digits

Pi has been calculated to 31.4 trillion digits : http://www.numberworld.org/blogs/2019_3_14_pi_record/ they used the Chudnovsky formula, the Bellard formula and mine just to be certain.  Best regards,  Simon Plouffe