切断で実数を定義しちゃうと、0.9999…の定義が難しい気がする。