オレンジ的には、逆に(?)、UT1とのズレが0.2秒くらいになるように、うるう秒ならぬ『うるう0.5秒』とかあるいは『うるう秒0.1秒』とかで頻繁に調整されまくる航法用の時間みたいなのがあったら便利そうな気がしてる><
思考の /dev/null