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