>>380
> 例えば、7進数を考える。
> ここでは7 = 0.1。
これが気になるんだけど、この"7進数"ってのはp-進数
ttp://ja.wikipedia.org/wiki/P%E9%80%B2%E6%95%B0
ではないのか？
なんか展開方向を左右逆にしたもののように見えるけど

だとして、1=…6660になるとするなら、>>376の通り議論の対象が、
1≠0.999…から1≠…6660に変わるだけの話になる