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