Mostly portable 128 bit integers in C++