module Bigint : sig ... end
module Bignum0 : sig ... end
module Stable : sig ... end
module Std : sig ... end
module Zarith : sig ... end