@mariondov but there now exists a formula for individual digits of pi without working out the previous ones, so calculations can be checked