実数はそのまま実数でおk。
問題は、1≠0.999なる公理系(例えば、>>278-281)。

儂ゃ知らんがな(´・ω・`)