let is_prime ?(prec = 10) x = is_probab_prime x prec