Leases and Other Commitments - Summary of Maturities of Lease Liabilities (Details) $ in Millions |
Jul. 31, 2026
USD ($)
|
|---|---|
| Operating Leases | |
| Remaining six months of fiscal 2027 | $ 290 |
| Fiscal 2028 | 581 |
| Fiscal 2029 | 488 |
| Fiscal 2030 | 336 |
| Fiscal 2031 | 270 |
| Thereafter | 806 |
| Total minimum lease payments | 2,771 |
| Less: Imputed interest | (316) |
| Total | 2,455 |
| Finance Leases | |
| Remaining six months of fiscal 2027 | 147 |
| Fiscal 2028 | 181 |
| Fiscal 2029 | 138 |
| Fiscal 2030 | 120 |
| Fiscal 2031 | 89 |
| Thereafter | 9 |
| Total minimum lease payments | 684 |
| Less: Imputed interest | (51) |
| Total | $ 633 |
| X | ||||||||||
- Definition Finance Lease, Liability, to be Paid, after Year Four No definition available.
|
| X | ||||||||||
- Definition Lessee, Operating Lease, Liability, to be Paid, after Year Four No definition available.
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Present value of lessee's discounted obligation for lease payments from finance lease. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payments for finance lease. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid in fourth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid in third fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for finance lease to be paid in remainder of current fiscal year. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payments in excess of discounted obligation for lease payments for finance lease. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for operating lease. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in fourth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in third fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach). Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payment for operating lease having initial or remaining lease term in excess of one year to be paid in remainder of current fiscal year. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of lessee's undiscounted obligation for lease payments in excess of discounted obligation for lease payments for operating lease. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Present value of lessee's discounted obligation for lease payments from operating lease. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|