Fast way to sum the product of 32-bit integers...
Merge branch 'master' of github.com:lemire/Code-used-on-Daniel-Lemire-s-blog