sig
  type t
  val min_num : BatNumber.Bounded.t
  val max_num : BatNumber.Bounded.t
end