XML 75 R58.htm IDEA: XBRL DOCUMENT v3.25.1
Leases - Schedule of Future Payments (Details) - USD ($)
$ in Millions
Apr. 30, 2025
Jul. 31, 2024
Operating Lease Maturity    
2025 (excluding the nine months ended April 30, 2025) $ 16  
2026 85  
2027 105  
2028 96  
2029 100  
Thereafter 411  
Total future minimum lease payments 813  
Less imputed interest (132)  
Present value of lease liabilities 681 $ 529
Sublease Income Maturity    
Payments receivable through 2029 19  
Payments receivable after 2029 $ 3