Module Mlang.Bir_number
module type NumberInterface = sig ... end
module RegularFloatNumber : NumberInterface
module MPFRNumber : NumberInterface
module IntervalNumber : NumberInterface
module RationalNumber : NumberInterface
module BigIntFixedPointNumber : functor (P : sig ... end) -> NumberInterface