external modulo: t->t->t = "_mlgmp_z_mod"