まあ超現実数の場合は二進法表記でないとちょっとまずいとは思う。
0.999…≠1
じゃなく
0.111…≠1
であり
0.000…≠0
ならありかと