external fdiv_q: dest: t-> t->t->unit = "_mlgmp_z2_fdiv_q"