sig
  type t = Big_int.big_int
  val zero : Cardinality.Z.t
  val of_int : int -> Cardinality.Z.t
  val to_int : Cardinality.Z.t -> int option
  val one : Cardinality.Z.t
  val sign : Cardinality.Z.t -> int
  val equal : Cardinality.Z.t -> Cardinality.Z.t -> bool
  val to_string : Cardinality.Z.t -> string
  val pp_print : Cardinality.Z.t CCFormat.printer
  val compare : Cardinality.Z.t -> Cardinality.Z.t -> int
  val hash : Cardinality.Z.t -> int
  val ( + ) : Cardinality.Z.t -> Cardinality.Z.t -> Cardinality.Z.t
  val ( * ) : Cardinality.Z.t -> Cardinality.Z.t -> Cardinality.Z.t
end