Financing Receivables (Internal Credit Risk) (Details) - USD ($) $ in Millions |
Jul. 31, 2026 |
Jul. 31, 2025 |
|---|---|---|
| Financing Receivable, Credit Quality Indicator [Line Items] | ||
| 2026 / 2025 | $ 567.0 | $ 435.0 |
| 2025 / 2024 | 332.0 | 962.0 |
| 2024 / 2023 | 533.0 | 306.0 |
| 2023 / 2022 | 112.0 | 9.0 |
| 2022 / 2021 | 5.0 | 18.0 |
| Total | 1,549.0 | 1,730.0 |
| 1 to 4 | ||
| Financing Receivable, Credit Quality Indicator [Line Items] | ||
| 2026 / 2025 | 411.0 | 261.0 |
| 2025 / 2024 | 208.0 | 732.0 |
| 2024 / 2023 | 438.0 | 242.0 |
| 2023 / 2022 | 102.0 | 9.0 |
| 2022 / 2021 | 5.0 | 18.0 |
| Total | 1,164.0 | 1,262.0 |
| 5 to 6 | ||
| Financing Receivable, Credit Quality Indicator [Line Items] | ||
| 2026 / 2025 | 156.0 | 174.0 |
| 2025 / 2024 | 92.0 | 226.0 |
| 2024 / 2023 | 85.0 | 50.0 |
| 2023 / 2022 | 9.0 | 0.0 |
| 2022 / 2021 | 0.0 | 0.0 |
| Total | 342.0 | 450.0 |
| 7 to 10 | ||
| Financing Receivable, Credit Quality Indicator [Line Items] | ||
| 2026 / 2025 | 0.0 | 0.0 |
| 2025 / 2024 | 32.0 | 4.0 |
| 2024 / 2023 | 10.0 | 14.0 |
| 2023 / 2022 | 1.0 | 0.0 |
| 2022 / 2021 | 0.0 | 0.0 |
| Total | $ 43.0 | $ 18.0 |
| X | ||||||||||
- Definition Amortized cost of financing receivable originated four years prior to current fiscal year. Excludes net investment in lease. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amortized cost of financing receivable originated in current fiscal year. Excludes net investment in lease. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amortized cost of financing receivable originated in fiscal year prior to current fiscal year. Excludes net investment in lease. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amortized cost of financing receivable originated three years prior to current fiscal year. Excludes net investment in lease. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amortized cost of financing receivable originated two years prior to current fiscal year. Excludes net investment in lease. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amortized cost, before allowance for credit loss, of financing receivable. Excludes financing receivable covered under loss sharing agreement and net investment in lease. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Details
|
| X | ||||||||||
- Details
|
| X | ||||||||||
- Details
|