XML 62 R45.htm IDEA: XBRL DOCUMENT v3.23.3
Debt - Schedule of Maturities of Long-Term Debt (Details) - USD ($)
$ in Millions
Oct. 31, 2023
Jul. 31, 2023
Debt Disclosure [Abstract]    
2024 (excluding the three months ended October 31, 2023) $ 0  
2025 500  
2026 430  
2027 1,250  
2028 0  
Thereafter 3,750  
Total future principal payments for debt $ 5,930 $ 6,130