- crypto_is_prime(+P, +Options) is semidet
- True iff P passes a probabilistic primality test. Options is a
list of options. Currently, the only supported option is:
- N is the number of iterations that are performed. If this option
is not specified, a number of iterations is used such that the
probability of a false positive is at most 2^(-80).