参考までに切り捨ての定義
任意の桁、n桁より1桁小さい数が何であれn桁未満は破棄する

少数点数以下切り捨ての条件で0.999…を切り捨てて1になるのは切り捨ての定義に反するかと？