Computer-aided number theory C library and tools
