0.999…≠1　のモデルで
１−0.999…
を計算したらいくつ？
０だと移行する作業を禁止するか
または論理がはじょう（←なぜか変換できない）してしまうし。
ｚ案ならぬε案なんてのが出てくるんでしょうか。