これ、位置情報とか扱うときに直感的には(？)倍精度でも精度足りないんじゃないかとか思っちゃうけど、実際計算するとものすごく足りてるみたいなのの宇宙版だ＞＜(？)
NASAでは円周率を何桁まで使っているのか？ - GIGAZINE https://gigazine.net/news/20201004-nasa-pi-calculation/