Facto

Performant integer factorization, primality checking, and primality certification