external inverse: t->t->t option="_mlgmp_z_invert"