Primality test (#3917) - Basecamp