1=0.999・・・ その15.999・・・

そもそも四捨五入というのは、あまり数学的な用語ではないからね。

議論するのなら
四捨五入というものの定義と、
四捨五入が小数表記に依存されないかどうか？
について行う必要がある。

小数第ｎ位が４か５のみに依存とするのならば、表記法に依存するから
どちらでもいいという意味になる。（要するにwell definedでない）

>>424を定義とするならwell definedになる。