Do not use non-standard __uint128
3 files changed