external copy: dest: t-> from: t-> unit = "_mlgmp_z_copy"