external abs: dest: t->t->unit = "_mlgmp_z2_abs"