Debt - Summary of senior unsecured debt (Details) - USD ($) $ in Millions	Jul. 31, 2023	Jul. 31, 2022
Total principal balance of debt
Total principal balance of debt	$ 6,130	$ 6,930
Unamortized discount and debt issuance costs	(10)	(16)
Net carrying value of debt	6,120	6,914
Short-term debt	0	499
Long-term debt	6,120	6,415
Term loan
Total principal balance of debt
Total principal balance of debt	4,200	4,700
Senior Unsecured Notes | 0.650% notes due July 2023
Total principal balance of debt
Total principal balance of debt	$ 0	500
Stated interest rate (in percent)	0.65%
Effective interest rate (in percent)	0.837%
Senior Unsecured Notes | 0.950% notes due July 2025
Total principal balance of debt
Total principal balance of debt	$ 500	500
Stated interest rate (in percent)	0.95%
Effective interest rate (in percent)	1.127%
Senior Unsecured Notes | 1.350% notes due July 2027
Total principal balance of debt
Total principal balance of debt	$ 500	500
Stated interest rate (in percent)	1.35%
Effective interest rate (in percent)	1.486%
Senior Unsecured Notes | 1.650% notes due July 2030
Total principal balance of debt
Total principal balance of debt	$ 500	500
Stated interest rate (in percent)	1.65%
Effective interest rate (in percent)	1.767%
Line of Credit | Revolving Credit Facility | Subsidiary
Total principal balance of debt
Secured revolving credit facilities	$ 430	$ 230