mp_integer: implement exponentiation (still some testing missing).