external ( +! ) : t -> t -> t = "_mlgmp_z_add"