The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers.
There are no labels for this package.
