Ah, Benford's Law. Hearing about it inspired me to do my master's thesis looking at the statistics of what actually enters an adder when you're running real life programs in terms of neighbor and auto-correlations for the various bits, instead of just assuming that they're all Bernoulli processes.