A C library for multiple-precision floating-point computations