Wow, yes, that's exactly it. Normal numbers. It's been 20 years since I majored in math, so maybe I did encounter these and just don't remember. Looks like the

Wow, yes, that's exactly it. Normal numbers. It's been 20 years since I majored in math, so maybe I did encounter these and just don't remember. Looks like there is a proof that almost all real numbers are normal, but where it comes to specific numbers pi, e, sqrt(2), they are thought to be normal but no proof. Well that was informative, thanks for the link!