Leases - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jan. 27, 2024	Jan. 28, 2023	Jan. 27, 2024	Jan. 28, 2023	Jul. 29, 2023
Leases [Abstract]
Weighted-average remaining lease term (in years)	4 years 7 months 6 days		4 years 7 months 6 days		4 years 7 months 6 days
Weighted-average discount rate	3.70%		3.70%		3.10%
Sales-type lease terms, on average	4 years		4 years
Interest income, lease receivables	$ 16	$ 12	$ 30	$ 24
Operating lease income	$ 15	$ 18	$ 31	$ 39