Double speed of AKS for small numbers on slow-modulo machines.  poly_mod_mul checks for overflow in all terms are summed