Talk:Interleave sequence

Isn't there a difficulty with the second case? Where a decimal ends with recurring 9's, or 0's (i.e. certain rationals with non-unique decimal expansion), it is less than obvious that the interleaving with something else is well-defined? Charles Matthews 20:38, 11 October 2005 (UTC)[reply]

One way of fixing this is to just make a once-and-for-all decision that (say) all expansions end in 0 recurring in preference to 9 recurring. Then you get a well-defined injection. This should probably be mentioned in the article somehow, but I can't think of a good way of putting it at present. Algebraist 14:47, 21 April 2009 (UTC)[reply]