ADDED: multiplication modulo 2^(k * MP_DIGIT_BIT)