[math-fun] a numerical approximation close to 7 digit pi