[math-fun] The value of PI