type t = Z.tval zero : tval one : tval of_int : int -> tval of_int32 : int32 -> tval of_int64 : int64 -> tval to_int : t -> intval to_int32 : t -> int32val to_int64 : t -> int64val bit_bound : t -> intval pp_print : Stdlib.Format.formatter -> t -> unitval bits : t -> int