mp_integer: a couple more notes for future improvements.