sig
  type t = float
  and num_type = real
  val add : Genops.Ops.t -> Genops.Ops.t -> Genops.Ops.t
  val sub : Genops.Ops.t -> Genops.Ops.t -> Genops.Ops.t
  val succ : Genops.Ops.t -> Genops.Ops.t
  val pred : Genops.Ops.t -> Genops.Ops.t
  val mul : Genops.Ops.t -> Genops.Ops.t -> Genops.Ops.t
  val div : Genops.Ops.t -> Genops.Ops.t -> Genops.Ops.t
  val rem : Genops.Ops.t -> Genops.Ops.t -> Genops.Ops.t
  val abs : Genops.Ops.t -> Genops.Ops.t
  val zero : Genops.Ops.t
  val one : Genops.Ops.t
  val min : Genops.Ops.t
  val max : Genops.Ops.t
  val print : Pervasives.out_channel -> Genops.Ops.t -> unit
  val to_float : Genops.Ops.t -> float
  val of_float : float -> Genops.Ops.t
end