bignum

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