C library for operations with integers of arbitrary size