external mul : t->t->t = "_mlgmp_q_mul"