プチコンで「実数型」といってるのは倍精度浮動小数点数で、これは十進数で約 16 桁の精度があります。