# Module type BatNumber.Numeric

    module type Numeric = sig .. end

The full set of operations of a type of numbers

    type t

    val zero : t

    val one : t

    val neg : t -> t

    val abs : t -> t

    val add : t -> t -> t

    val sub : t -> t -> t

    val mul : t -> t -> t

    val div : t -> t -> t

    val modulo : t -> t -> t

    val pow : t -> t -> t

    val compare : t -> t -> int

    val equal : t -> t -> bool

    val ord : t BatOrd.ord

    val of_int : int -> t

    val to_int : t -> int

    val of_float : float -> t

    val to_float : t -> float

    val of_string : string -> t

    val to_string : t -> string

    val operations : t BatNumber.numeric

    type discrete = t

    val succ : t -> t

    val pred : t -> t

    module Infix: BatNumber.Infix  with type bat__infix_t = t

    module Compare: BatNumber.Compare  with type bat__compare_t = t

    include BatNumber.Numeric.Infix

    include BatNumber.RefOps