mp_integer: add a comment after some research on how to cope with the lack
of 128bit ints on MSVC.