[semidet]crypto_is_prime(+P,
+Options)- iterations(N)
- 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).
[semidet]crypto_is_prime(+P,
+Options)^(-80).