mp_mdiv
void mp_mdiv(const MINT *, const MINT *, MINT *, MINT *);
mp_mdiv(c42, c5, t0, t1);
mp_mdiv(c10, c8, t0, t1);