C++ library of big integers