A library for computational number theory
