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