mp_integer: more performance notes.