probab_prime_p() + tests for nextprime() and probab_prime_p()