古代ギリシャ時代の有限数学では 0.999… 其の物が認められない。有限数学では無限概念と共に無限小数が排斥される為｡
実数体では 1=0.999… である。実数体では無限小差が排斥されるArchimeds性によるArchimedes roundingにより無限小差が丸められる為｡
超実数体では 1=0.999…;…999… である。超実数体では無限小超々実数差が排斥される超Archimeds性による超Archimedes roundingにより無限小超々実数差が丸められる為｡
超々実数体では 1=0.999…;…999…;…999… である。超々実数体では無限小超々々実数差が排斥される超Archimeds性による超々Archimedes roundingにより無限小超々々実数差が丸められる為｡
累超実数体では 1=0.999…;…999…;…999…;… である。累超実数体では上位の無限小累超実数差が排斥される累超Archimeds性による累超Archimedes roundingにより上位の無限小累超実数差が丸められる為｡
超現実数体では 1=0.999…;…999…;…999…;…+ε である。超現実数では任意の無限小差、違いも加味する為｡

超現実数体上の 1 1/3 √2 π について ε=(:最小超限順序数ωの逆数) とすれば
1=0.999…+ε=0.999…+0.999…*ε+ε^2=0.999…+0.999…*ε+0.999…*ε^2+ε^3=…
={Σ[k=1,ω-1]0.999…*ε^k}-ε^ω
1/3=0.333…+ε/3=0.333…+0.333…*ε+ε^2/3=0.333…+0.333…*ε+0.333…*ε^2+ε^3/3=…
={Σ[k=1,ω-1]0.333…*ε^k}-ε^ω/3
√2=1.414…+√2*ε=1.414…+1.414…*ε+√2*ε^2=1.414…+1.414…*ε+1.414…*ε^2+√2*ε^3=…
={Σ[k=1,ω-1]1.414…*ε^k}-√2*ε^ω
π=3.141…+π*ε=3.141…+3.141…*ε+π*ε^2=3.141…+3.141…*ε+3.141…*ε^2+π*ε^3=…
={Σ[k=1,ω-1]3.141…*ε^k}-π*ε^ω

1と0.999…の差を認める講義は超現実数体で漸く言及が出来る。一方で、上述した通り
標準数学で語られた事が世界でも殆ど皆無の超々実数体より更に上位の累超実数体でさえ
1と0.999…は差を零として扱う｡