external cmp: t->t->int = "_mlgmp_z_compare"