fix Int::is_prime