计算pi的一个程序,800位