uint128_t from boost