(** This module defines a suited representation for bounded integers using
    O'Caml Int64. *)

include Int64
let from_int_cmp cmp a b = cmp (compare a b) 0
let eq = from_int_cmp (=)
let lt = from_int_cmp (<)
let le = from_int_cmp (<=)
let gt = from_int_cmp (>)
let ge = from_int_cmp (>=)
let modulo = rem