C++ number theory library