sig
  type nat = Nat.nat
  external create_nat : int -> nat = "create_nat"
  val make_nat : int -> nat
  external set_to_zero_nat : nat -> int -> int -> unit = "set_to_zero_nat"
  external blit_nat : nat -> int -> nat -> int -> int -> unit = "blit_nat"
  val copy_nat : nat -> int -> int -> nat
  external set_digit_nat : nat -> int -> int -> unit = "set_digit_nat"
  external nth_digit_nat : nat -> int -> int = "nth_digit_nat"
  external set_digit_nat_native : nat -> int -> nativeint -> unit
    = "set_digit_nat_native"
  external nth_digit_nat_native : nat -> int -> nativeint
    = "nth_digit_nat_native"
  val length_nat : nat -> int
  external num_digits_nat : nat -> int -> int -> int = "num_digits_nat"
  external num_leading_zero_bits_in_digit : nat -> int -> int
    = "num_leading_zero_bits_in_digit"
  external is_digit_int : nat -> int -> bool = "is_digit_int"
  external is_digit_zero : nat -> int -> bool = "is_digit_zero"
  external is_digit_normalized : nat -> int -> bool = "is_digit_normalized"
  external is_digit_odd : nat -> int -> bool = "is_digit_odd"
  val is_zero_nat : nat -> int -> int -> bool
  val is_nat_int : nat -> int -> int -> bool
  val int_of_nat : nat -> int
  val nat_of_int : int -> nat
  external incr_nat : nat -> int -> int -> int -> int = "incr_nat"
  external add_nat : nat -> int -> int -> nat -> int -> int -> int -> int
    = "add_nat" "add_nat_native"
  external complement_nat : nat -> int -> int -> unit = "complement_nat"
  external decr_nat : nat -> int -> int -> int -> int = "decr_nat"
  external sub_nat : nat -> int -> int -> nat -> int -> int -> int -> int
    = "sub_nat" "sub_nat_native"
  external mult_digit_nat :
    nat -> int -> int -> nat -> int -> int -> nat -> int -> int
    = "mult_digit_nat" "mult_digit_nat_native"
  external mult_nat :
    nat -> int -> int -> nat -> int -> int -> nat -> int -> int -> int
    = "mult_nat" "mult_nat_native"
  external square_nat : nat -> int -> int -> nat -> int -> int -> int
    = "square_nat" "square_nat_native"
  external shift_left_nat : nat -> int -> int -> nat -> int -> int -> unit
    = "shift_left_nat" "shift_left_nat_native"
  external div_digit_nat :
    nat -> int -> nat -> int -> nat -> int -> int -> nat -> int -> unit
    = "div_digit_nat" "div_digit_nat_native"
  external div_nat : nat -> int -> int -> nat -> int -> int -> unit
    = "div_nat" "div_nat_native"
  external shift_right_nat : nat -> int -> int -> nat -> int -> int -> unit
    = "shift_right_nat" "shift_right_nat_native"
  external compare_digits_nat : nat -> int -> nat -> int -> int
    = "compare_digits_nat"
  external compare_nat : nat -> int -> int -> nat -> int -> int -> int
    = "compare_nat" "compare_nat_native"
  val eq_nat : nat -> int -> int -> nat -> int -> int -> bool
  val le_nat : nat -> int -> int -> nat -> int -> int -> bool
  val lt_nat : nat -> int -> int -> nat -> int -> int -> bool
  val ge_nat : nat -> int -> int -> nat -> int -> int -> bool
  val gt_nat : nat -> int -> int -> nat -> int -> int -> bool
  external land_digit_nat : nat -> int -> nat -> int -> unit
    = "land_digit_nat"
  external lor_digit_nat : nat -> int -> nat -> int -> unit = "lor_digit_nat"
  external lxor_digit_nat : nat -> int -> nat -> int -> unit
    = "lxor_digit_nat"
  val gcd_nat : nat -> int -> int -> nat -> int -> int -> int
  val sqrt_nat : nat -> int -> int -> nat
  val string_of_nat : nat -> string
  val nat_of_string : string -> nat
  val sys_nat_of_string : int -> string -> int -> int -> nat
  val float_of_nat : nat -> float
  val make_power_base : int -> nat -> int * int
  val power_base_int : int -> int -> nat
  val length_of_digit : int
  val sexp_of_nat : Nat.nat -> Sexplib.Sexp.t
  val nat_of_sexp : Sexplib.Sexp.t -> Nat.nat
end