Module type Qcow_s.NUM
val zero : tval pred : t -> tval succ : t -> tval add : t -> t -> tval sub : t -> t -> tval mul : t -> t -> tval div : t -> t -> tval of_int64 : int64 -> tval to_int64 : t -> int64val of_int : int -> tval to_int : t -> intval to_string : t -> stringval shift_left : t -> int -> tval shift_right_logical : t -> int -> tval logor : t -> t -> tval rem : t -> t -> t