XML 107 R71.htm IDEA: XBRL DOCUMENT v3.24.3
Leases - Narrative (Details)
$ in Millions
Jul. 31, 2024
USD ($)
Lease not yet commenced, operating  
Unrecorded Unconditional Purchase Obligation [Line Items]  
Leases that have not yet commenced $ 131
Fiscal year 2025  
Unrecorded Unconditional Purchase Obligation [Line Items]  
Leases that have not yet commenced 113
Fiscal year 2026  
Unrecorded Unconditional Purchase Obligation [Line Items]  
Leases that have not yet commenced $ 18