mersenne: add HasFactorBigInt2