sig
  val epsilon : float
  val ( >=. ) : float -> float -> bool
  val ( <=. ) : float -> float -> bool
  val ( =. ) : float -> float -> bool
  val ( >. ) : float -> float -> bool
  val ( <. ) : float -> float -> bool
  val ( <>. ) : float -> float -> bool
  val robustly_compare : float -> float -> int
end