bignum

Core-flavoured wrapper around zarith's arbitrary-precision rationals.
IN THIS PACKAGE
Module Bignum . Std
module Bigint = Bigint
module Bignum = Bignum0