sig
  type t = Gmp41.Z.t
  val of_int : int -> Gmp41.Z.t
  val zero : Gmp41.Z.t
  val one : Gmp41.Z.t
  val two : Gmp41.Z.t
  val add : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
  val sub : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
  val succ : Gmp41.Z.t -> Gmp41.Z.t
  val mult : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
  val divexact : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
  val gcd : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
  val lcm : Gmp41.Z.t -> Gmp41.Z.t -> Gmp41.Z.t
  val pow : int -> int -> Gmp41.Z.t
  val expt : Gmp41.Z.t -> int -> Gmp41.Z.t
  val compare : Gmp41.Z.t -> Gmp41.Z.t -> int
  val equal : Gmp41.Z.t -> Gmp41.Z.t -> bool
  val lt : Gmp41.Z.t -> Gmp41.Z.t -> bool
  val le : Gmp41.Z.t -> Gmp41.Z.t -> bool
  val gt : Gmp41.Z.t -> Gmp41.Z.t -> bool
  val ge : Gmp41.Z.t -> Gmp41.Z.t -> bool
  val to_string : Gmp41.Z.t -> string
  val pp : Format.formatter -> Gmp41.Z.t -> unit
end