mp_integer: more todo items.