mp_integer: remove a couple of TODO items.