From the article: "... assuming C to have integral types that can hold arbitrarily large integers."

As far as Pi, there are various well-known proofs that the length of the decimal expansion of Pi is unbounded: http://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational