Re-solved by computing the product over multiple longs, and no
arbitrary-precision arithmetic libraries.