Facto
Performant integer factorization, primality checking, and primality certification