let of_int = Z.from_int