module FloatOps: sig endtype t
type num_type
val add : t -> t -> tval sub : t -> t -> tval succ : t -> tval pred : t -> tval mul : t -> t -> tval div : t -> t -> tval rem : t -> t -> tval abs : t -> tval zero : tval one : tval min : tval max : tval print : Pervasives.out_channel -> t -> unitval to_float : t -> floatval of_float : float -> t