Fair value measurements - Other Financial Instruments (Details) - USD ($) $ in Millions |
9 Months Ended | 12 Months Ended |
|---|---|---|
Apr. 30, 2025 |
Jul. 31, 2024 |
|
| Fair value measurements | ||
| Fair value assets, transfer from level 1 to level 2 | $ 0.0 | $ 0.0 |
| Fair value assets, transfer from level 2 to level 1 | 0.0 | 0.0 |
| Fair value assets, transfer into and out of level 3 | 0.0 | 0.0 |
| Fair value liabilities, transfer from level 1 to level 2 | 0.0 | 0.0 |
| Fair value liabilities, transfer from level 2 to level 1 | 0.0 | 0.0 |
| Fair value liabilities, transfer into and out of level 3 | 0.0 | 0.0 |
| Level 2 | ||
| Fair value measurements | ||
| Long-term debt, fair value | $ 1,350.8 | $ 1,416.8 |
| X | ||||||||||
- Definition Amount of transfer of financial instrument classified as an asset from level 1 to level 2 of the fair value hierarchy. No definition available.
|
| X | ||||||||||
- Definition Amount of transfer of financial instrument classified as an asset from level 2 to level 1 of the fair value hierarchy. No definition available.
|
| X | ||||||||||
- Definition Amount of transfer of financial instrument classified as an liability into (out of) level 3 of the fair value hierarchy. No definition available.
|
| X | ||||||||||
- Definition Amount of transfer of financial instrument classified as an liability from level 2 to level 1 of the fair value hierarchy. 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/exampleRef
|
| X | ||||||||||
- Definition Amount of transfer of financial instrument classified as an asset into (out of) level 3 of the fair value hierarchy. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of transfers of financial instrument classified as a liability into (out of) level 3 of the fair value hierarchy. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition The fair value amount of long-term debt whether such amount is presented as a separate caption or as a parenthetical disclosure. Additionally, this element may be used in connection with the fair value disclosures required in the footnote disclosures to the financial statements. The element may be used in both the balance sheet and disclosure in the same submission. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Details
|