uint128_t + tests