Values must be promoted to uint128_t first