cousin_it comments on No coinductive datatype of integers

[cousin_it]

I asked a question on MathOverflow, you can find the link in my conversation with Emile above.