void silc_mp_div(SilcMPInt *dst, SilcMPInt *mp1, SilcMPInt *mp2);

    Divide the `mp1' and `mp2' and save the result to the `dst'. This
    is equivalent to dst = mp1 / mp2;