sig
  type robustly_comparable = float
  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
end