math/uint128.h: Use gcc's native __uint128_t on all 64 bit platforms