sig
  val epsilon : float
  type elt = float
  and t
  val fprint_elt : Pervasives.out_channel -> float -> unit
  val fprint : Pervasives.out_channel -> Fcl_float.t -> unit
  val size : Fcl_float.t -> int
  val min : Fcl_float.t -> float
  val max : Fcl_float.t -> float
  val min_max : Fcl_float.t -> float * float
  val mem : float -> Fcl_float.t -> bool
  val interval : float -> float -> Fcl_float.t
  val included : Fcl_float.t -> Fcl_float.t -> bool
  val strictly_inf : Fcl_float.elt -> Fcl_float.elt -> bool
  val compare_elt : Fcl_float.elt -> Fcl_float.elt -> int
  val zero : Fcl_float.elt -> bool
  val remove_low : Fcl_float.elt -> Fcl_float.t -> Fcl_float.t
  val remove_up : Fcl_float.elt -> Fcl_float.t -> Fcl_float.t
end