sig
  val name : string
  val lower : Number.Verified_std.repr
  val upper : Number.Verified_std.repr
end