void silc_mp_div_ui(SilcMPInt *dst, SilcMPInt *mp1, SilcUInt32 ui);

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