sig
  type t
  and num_type
  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