A lightweight module for efficiently primality testing arbitrarily large numbers via the Miller-Rabin algorithm. Since Miller-Rabin is a probabilistic test, there is a small chance that it could label ...