use GMP miller-rabin test if available