sig
  type t = float
  val compare : '-> '-> int
  val hash : '-> int
  val equal : '-> '-> bool
  val default : float
end