external ( -! ) : t -> t -> t = "_mlgmp_z_sub"