Leases (Narrative) (Details) $ in Millions |
1 Months Ended | 12 Months Ended | ||
|---|---|---|---|---|
|
Apr. 30, 2026
USD ($)
amendment
|
Jul. 31, 2026
USD ($)
|
Jul. 31, 2025
USD ($)
|
Jul. 31, 2024
USD ($)
|
|
| Lessee, Lease, Description | ||||
| Number of lease amendments | amendment | 3 | |||
| Operating lease, term of contract (in years) | 12 years | |||
| Rental payments | $ 114.0 | $ 91.0 | $ 87.0 | |
| Expected payments | $ 469.0 | |||
| Net cost for operating leases | 146.0 | 122.0 | 105.0 | |
| Operating lease costs | 104.0 | $ 88.0 | $ 76.0 | |
| Total future minimum lease payments | 8,242.0 | |||
| Operating Lease, Lease Not yet Commenced | ||||
| Lessee, Lease, Description | ||||
| Total future minimum lease payments | $ 15.0 | |||
| Minimum | ||||
| Lessee, Lease, Description | ||||
| Lease terms, leases not yet commenced | 4 years | |||
| Maximum | ||||
| Lessee, Lease, Description | ||||
| Lease terms, leases not yet commenced | 5 years | |||
| X | ||||||||||
- Definition Number Of Lease Amendments No definition available.
|
| X | ||||||||||
- Definition Operating Lease, Expected Payments, Net No definition available.
|
| X | ||||||||||
- Definition Amount of lease cost recognized by lessee for lease contract. 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/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Term of lessee's operating lease not yet commenced, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Term of lessee's operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of single lease cost, calculated by allocation of remaining cost of lease over remaining lease term. Includes, but is not limited to, single lease cost, after impairment of right-of-use asset, calculated by amortization of remaining right-of-use asset and accretion of lease liability. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount of cash outflow from operating lease, excluding payments to bring another asset to condition and location necessary for its intended use. 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 | ||||||||||
- Details
|
| X | ||||||||||
- Details
|
| X | ||||||||||
- Details
|