Merge: fix Int::is_prime