void silc_mp_div_2exp(SilcMPInt *dst, SilcMPInt *mp1, SilcMPInt *mp2);
Divide the `mp1' with 2 ** `exp' and save the result to `dst'. This is equivalent to dst = mp1 / (2 ^ exp).