Add another uint128 test