mp_integer: add another performance note after some testing.