昔、6.02252と覚えさせられたのが6.0になってしまったのか
そう言えば3.14も３になったらしいし