ふむ。つまり0.999....は絶対に1じゃない、とするほうが正しいわけだな。