XML 72 R57.htm IDEA: XBRL DOCUMENT v3.25.3
Leases - Schedule of Future Payments (Details) - USD ($)
$ in Millions
Oct. 31, 2025
Jul. 31, 2025
Operating Lease Maturity    
2026 (excluding the three months ended October 31, 2025) $ 63  
2027 114  
2028 106  
2029 110  
2030 108  
Thereafter 370  
Total future minimum lease payments 871  
Less imputed interest (150)  
Present value of lease liabilities 721 $ 666
Sublease Income Maturity    
Payments receivable through 2029 20  
Payments receivable after 2029 $ 1