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