mp_integer: drop a couple of todo items.