sig
  type t = float
  val zero : t
  val ( + ) : t -> t -> t
  val ( - ) : t -> t -> t
  val ( * ) : t -> t -> t
  val ( >= ) : t -> t -> bool
  val min : t -> t -> t
  val max : t -> t -> t
  val abs : t -> t
end