C++ library for doing number theory
