An implementation of the Miller-Rabin primality test to efficiently determine with high probability whether some arbitrarily-large number is prime.