ま、ふつーの実数は連続しているけどね。仮に、連続していない何か実数もどきを別の名で
呼んだとしても、「1≠0.9999…」派の人が、おれが採用しているのはその「実数もどき」だ
と宣言した場合には…現状はそんなに変わらないかもなー。

結局この手の論争で、相手がどんな数を前提にして論議しているのか、その行為は変わら
ない訳だし。(まあ、少しは手間が省けるとは思うけどね)

そ。結局は「メリット論」に落ち着くんだよ、何事もね。