external get_num : t->Z.t = "_mlgmp_q_get_num"