test of uint128_t