external ( *! ) : t -> t -> t = "_mlgmp_z_mul"