>>65
なぜ切断が必要なのかわからない。
普通は 0.9+0.09+0.009+…
という無限級数で定義するだろう。