Commitments and Contingencies (Purchase Commitments) (Details) $ in Millions |
Oct. 31, 2024
USD ($)
|
|---|---|
| Aggregate Future Purchase Commitments | |
| Total | $ 4,450.4 |
| Remaining 2025 | 263.7 |
| 2026 | 533.4 |
| 2027 | 560.5 |
| 2028 | 607.1 |
| 2029 | 689.5 |
| 2030 and Thereafter | 1,796.2 |
| Cloud | |
| Aggregate Future Purchase Commitments | |
| Total | 4,088.9 |
| Remaining 2025 | 56.7 |
| 2026 | 435.7 |
| 2027 | 518.1 |
| 2028 | 599.6 |
| 2029 | 686.1 |
| 2030 and Thereafter | 1,792.7 |
| Manufacturing | |
| Aggregate Future Purchase Commitments | |
| Total | 205.7 |
| Remaining 2025 | 165.7 |
| 2026 | 40.0 |
| 2027 | 0.0 |
| 2028 | 0.0 |
| 2029 | 0.0 |
| 2030 and Thereafter | 0.0 |
| Other | |
| Aggregate Future Purchase Commitments | |
| Total | 155.8 |
| Remaining 2025 | 41.3 |
| 2026 | 57.7 |
| 2027 | 42.4 |
| 2028 | 7.5 |
| 2029 | 3.4 |
| 2030 and Thereafter | $ 3.5 |
| X | ||||||||||
- Definition Unrecorded Unconditional Purchase Obligation, to be Paid, After Year 4 No definition available.
|
| X | ||||||||||
- Definition Amount of fixed and determinable portion of unrecorded unconditional purchase obligation 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). Includes, but is not limited to, lease not yet commenced. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of fixed and determinable portion of unrecorded unconditional purchase obligation 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). Includes, but is not limited to, lease not yet commenced. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of fixed and determinable portion of unrecorded unconditional purchase obligation 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). Includes, but is not limited to, lease not yet commenced. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of fixed and determinable portion of unrecorded unconditional purchase obligation 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). Includes, but is not limited to, lease not yet commenced. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of unrecorded obligation to transfer funds in future for fixed or minimum amount or quantity of product and service at fixed or minimum price. Includes, but is not limited to, lease not yet commenced and take-or-pay and throughput contracts. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of fixed and determinable portion of unrecorded unconditional purchase obligation to be paid in remainder of current fiscal year. No definition available.
|
| 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 | ||||||||||
- Details
|
| X | ||||||||||
- Details
|
| X | ||||||||||
- Details
|