(** This module defines a suited representation for bounded integers. *)

open Big_int
type t = big_int
let of_int = big_int_of_int
let to_int = int_of_big_int
let compare = compare_big_int
let to_string = string_of_big_int
let zero = zero_big_int
let one = unit_big_int
let succ = succ_big_int
let pred = pred_big_int
let neg = minus_big_int
let eq = eq_big_int
let add = add_big_int
let sub = sub_big_int
let mul = mult_big_int
let div = div_big_int
let modulo = mod_big_int
let lt = lt_big_int
let le = le_big_int
let gt = gt_big_int
let ge = ge_big_int