Instead of processing the high and low 64 bits of the absl::uint128 separately as two std::uint64_t values, just use the absl::uint128 directly.