sig
  type t
  val zero : CryptokitBignum.t
  val one : CryptokitBignum.t
  val of_int : int -> CryptokitBignum.t
  val compare : CryptokitBignum.t -> CryptokitBignum.t -> int
  val add : CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
  val sub : CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
  val mult : CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
  val mod_ : CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
  val relative_prime : CryptokitBignum.t -> CryptokitBignum.t -> bool
  val mod_power :
    CryptokitBignum.t ->
    CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
  val mod_power_CRT :
    CryptokitBignum.t ->
    CryptokitBignum.t ->
    CryptokitBignum.t ->
    CryptokitBignum.t ->
    CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
  val mod_inv : CryptokitBignum.t -> CryptokitBignum.t -> CryptokitBignum.t
  val of_bytes : string -> CryptokitBignum.t
  val to_bytes : ?numbits:int -> CryptokitBignum.t -> string
  val random :
    rng:(bytes -> int -> int -> unit) ->
    ?odd:bool -> int -> CryptokitBignum.t
  val random_prime :
    rng:(bytes -> int -> int -> unit) -> int -> CryptokitBignum.t
  val wipe : CryptokitBignum.t -> unit
end