sig   type t = int64   val pp : Format.formatter -> Usane.Uint64.t -> unit   val of_int : int -> Usane.Uint64.t   val to_int : Usane.Uint64.t -> int option   val add : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool   val mul : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool   val sub : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool   val succ : Usane.Uint64.t -> Usane.Uint64.t * bool   val pred : Usane.Uint64.t -> Usane.Uint64.t * bool   val compare : Usane.Uint64.t -> Usane.Uint64.t -> int   val ( + ) : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool   val ( - ) : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool   val ( * ) : Usane.Uint64.t -> Usane.Uint64.t -> Usane.Uint64.t * bool   val ( < ) : Usane.Uint64.t -> Usane.Uint64.t -> bool   val ( <= ) : Usane.Uint64.t -> Usane.Uint64.t -> bool   val ( > ) : Usane.Uint64.t -> Usane.Uint64.t -> bool   val ( >= ) : Usane.Uint64.t -> Usane.Uint64.t -> bool end