Leases (Details 2) - USD ($) $ in Millions |
3 Months Ended | |
|---|---|---|
Jul. 31, 2024 |
Jul. 31, 2023 |
|
| Leases [Abstract] | ||
| Operating cash flows from operating leases | $ 12.3 | $ 12.3 |
| Operating cash flows from finance leases | 0.1 | 0.0 |
| Financing cash flows from finance leases | 1.1 | 0.5 |
| Right-of-use asset obtained in exchange for operating lease liabilities | 1.1 | 75.1 |
| Right-of-use asset obtained in exchange for finance lease liabilities | $ 2.5 | $ 0.0 |
| X | ||||||||||
- Definition Amount of interest paid on finance lease liability. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of cash outflow for principal payment on finance lease. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- References No definition available.
|
| 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 increase in right-of-use asset obtained in exchange for finance lease liability. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount of increase in right-of-use asset obtained in exchange for operating lease liability. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|