Hwang, C.-L. $ \pi $ at the Limits of Computation. Tamkang J. Math. 2004, 35, 305-312.