XML 83 R71.htm IDEA: XBRL DOCUMENT v3.25.1
Leases - Schedule of Maturities of Lease Liabilities (Details)
$ in Millions
Apr. 30, 2025
USD ($)
Leases [Abstract]  
2026 (remainder) $ 45
2027 60
2028 50
2029 44
2030 27
Thereafter 52
Total lease payments 278
Less imputed interest 22
Present value of operating lease liabilities $ 256