sig
  val compare : float -> float -> int
  val fcmp : epsilon:float -> float -> float -> int
  val isfinite : float -> bool
  val isinf : float -> bool
  val isnan : float -> bool
  val isnormal : float -> bool
  val iszero : float -> bool
  val signbit : float -> bool
  val copysign : float -> float -> float
end