external get_den : t->Z.t = "_mlgmp_q_get_den"