[Alamo-Girl]

Indeed. I was agreeing with you (or at least that was my intention.)

[Doctor Stochastic]

I find it to be very interesting. One can prove that "almost all" numbers are normal, but the only examples of normal numbers are "artificially" constructed. Also, none of the usual suspects (pi, e, Sqrt(2), Log(2), etc.) have been shown to be normal.

The whole topic of normal numbers is rather deep and the proofs can be difficult. One example is that although one can prove that "almost all" numbers are normal to any base, there are uncountably many numbers normal to one base and not normal to others.