Module NumCompat.Z
val zero : tval one : tval two : tval add : t -> t -> tval sub : t -> t -> tval mul : t -> t -> tval div : t -> t -> tval neg : t -> tval sign : t -> intval equal : t -> t -> boolval compare : t -> t -> intval power_int : t -> int -> tval quomod : t -> t -> t * tval ppcm : t -> t -> tval gcd : t -> t -> tgcd x yGreatest Common Divisor. Must always return a positive number
val to_string : t -> string