任意精度のときは、PIの精度をどうするか悩みどころなんだよな