Zarith: arbitrary-precision integers