sig
  type intbig
  val zero : Intbig.intbig
  val one : Intbig.intbig
  val two : Intbig.intbig
  val ones : Intbig.intbig
  val abs : Intbig.intbig -> Intbig.intbig
  val neg : Intbig.intbig -> Intbig.intbig
  val add : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val sub : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val mul : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val div : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val modu : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val pow : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val sign : Intbig.intbig -> int
  val compare : Intbig.intbig -> Intbig.intbig -> int
  val eq : Intbig.intbig -> Intbig.intbig -> bool
  val ne : Intbig.intbig -> Intbig.intbig -> bool
  val le : Intbig.intbig -> Intbig.intbig -> bool
  val ge : Intbig.intbig -> Intbig.intbig -> bool
  val lt : Intbig.intbig -> Intbig.intbig -> bool
  val gt : Intbig.intbig -> Intbig.intbig -> bool
  val shift_left : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val shift_right : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val bw_not : Intbig.intbig -> Intbig.intbig
  val bw_and : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val bw_or : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val bw_xor : Intbig.intbig -> Intbig.intbig -> Intbig.intbig
  val string_of_intbig : Intbig.intbig -> string
  val intbig_of_string : string -> Intbig.intbig
  val binary_string_of_intbig : Intbig.intbig -> Intbig.intbig -> string
  val intbig_of_binary_string : string -> Intbig.intbig
  val int_of_intbig : Intbig.intbig -> int
  val intbig_of_int : int -> Intbig.intbig
  val char_of_intbig : Intbig.intbig -> char
  val intbig_of_char : char -> Intbig.intbig
  val float_of_intbig : Intbig.intbig -> float
  val intbig_of_float : float -> Intbig.intbig
  val test : string -> unit
end