big_int library
