> それをきちんとやっちゃうと、デテキントとかコーシ並の面倒くささになるのは当然なんじゃないの？
つまり
> 「0.999…＝1が成り立つように各種演算を適切に定義すればいい」
とするメリットは無いわけだ。
　
チグハグな構築法よりも
自然数→整数→有理数→実数と順番に拡張していって、
結果0.999･･･=1を導いたほうがよっぽどスッキリしている。