bignum

Core-flavoured wrapper around zarith's arbitrary-precision rationals.
IN THIS PACKAGE
Module Bigint . Stable
module V1 : sig ... end