Switch to arithmoi package.
Deal with fallout since primes are now Integers rather than Integral.