external from_z : Z.t->t = "_mlgmp_q_from_z"