Leases - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Apr. 27, 2024	Apr. 29, 2023	Apr. 27, 2024	Apr. 29, 2023	Jul. 29, 2023
Leases [Abstract]
Weighted-average remaining lease term (in years)	4 years 10 months 24 days		4 years 10 months 24 days		4 years 7 months 6 days
Weighted-average discount rate	3.80%		3.80%		3.10%
Sales-type lease terms, on average	4 years		4 years
Interest income, lease receivables	$ 18	$ 13	$ 48	$ 36
Operating lease income	$ 14	$ 18	$ 45	$ 56