The math.primes.miller-rabin vocabulary implements the Miller-Rabin probabilistic primality test and utility words that use it in order to generate random prime numbers.

The Miller-Rabin probabilistic primality test:

miller-rabin ( n -- ? )

miller-rabin* ( n numtrials -- ? )