Leases (Details 2) - USD ($) $ in Millions	9 Months Ended
Jan. 31, 2025	Jan. 31, 2024
Leases [Abstract]
Operating cash flows from operating leases	$ 36.5	$ 36.9
Operating cash flows from finance leases	0.4	0.4
Financing cash flows from finance leases	2.6	2.6
Right-of-use asset obtained in exchange for operating lease liabilities	8.7	91.9
Right-of-use asset obtained in exchange for finance lease liabilities	$ 2.6	$ 8.0

Amount of interest paid on finance lease liability.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (g)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 5
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479041/842-20-45-5

+ Details

Name:	us-gaap_FinanceLeaseInterestPaymentOnLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of cash outflow for principal payment on finance lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (g)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 5
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479041/842-20-45-5

+ Details

Name:	us-gaap_FinanceLeasePrincipalPayments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- References

No definition available.

+ Details

Name:	us-gaap_LeasesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of cash outflow from operating lease, excluding payments to bring another asset to condition and location necessary for its intended use.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 5
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479041/842-20-45-5

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (g)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4

+ Details

Name:	us-gaap_OperatingLeasePayments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of increase in right-of-use asset obtained in exchange for finance lease liability.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 53
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479589/842-20-55-53

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (g)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-4

+ Details

Name:	us-gaap_RightOfUseAssetObtainedInExchangeForFinanceLeaseLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of increase in right-of-use asset obtained in exchange for operating lease liability.

+ References

+ Details

Name:	us-gaap_RightOfUseAssetObtainedInExchangeForOperatingLeaseLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration