>>700
加減乗除の話だから良いんじゃないの？
もちろん実数より小さくても実閉体にはなるけど、理論は同じだから。