external neg: dest: t->t->unit = "_mlgmp_z2_neg"