`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 numeric`
`type discrete = t`
`val succ : t -> t`
`val pred : t -> t`
`module Infix : Infix with type bat__infix_t = t`
`module Compare : Compare with type bat__compare_t = t`
`include Infix with type bat__infix_t = t`
`type bat__infix_t = t`
`val (+) : bat__infix_t -> bat__infix_t -> bat__infix_t`
`val (-) : bat__infix_t -> bat__infix_t -> bat__infix_t`
`val (*) : bat__infix_t -> bat__infix_t -> bat__infix_t`
`val (/) : bat__infix_t -> bat__infix_t -> bat__infix_t`
`val (**) : bat__infix_t -> bat__infix_t -> bat__infix_t`
`val (--) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t`
`val (---) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t`
`include RefOps with type bat__refops_t = t`
`type bat__refops_t = t`
`val (+=) : bat__refops_t Stdlib.ref -> bat__refops_t -> unit`
`val (-=) : bat__refops_t Stdlib.ref -> bat__refops_t -> unit`
`val (*=) : bat__refops_t Stdlib.ref -> bat__refops_t -> unit`
`val (/=) : bat__refops_t Stdlib.ref -> bat__refops_t -> unit`