>>581
つまり、3で割り切れるかどうかで1と0.999…の区別をつけることはできない、ということですね。