Like @huonw has put it [here](https://github.com/mozilla/rust/pull/10927#issuecomment-30560243): `Stats.sum` doesn't handle "extreme" values nicely.