If it is about floating point accuracy rather than integer overflow, I've had excellent results using Kahan Summation. It gives bounded error over any problem size, and fixed a bunch of problems for me which needed accurate dot products.
Perhaps it would make sense to have an accurate_mean, accurate_sum and accurate_dot which fix the various problems that integers and floats/doubles have for accumulation style problems?