[math] More hash questions

[Benson Margulies]

The double hashes in the Colt code don't look entirely, ahem,
conventional to me.

There aren't two different primes, let alone two different primes that
differ by 2.

I'm probably not reading carefully enough.