>>180
10^12は整数だと思ってたんですが、、実数型なんですね。