Revenue (Details) - USD ($) $ in Millions	3 Months Ended
Jul. 31, 2020	Apr. 30, 2020
Revenue
Revenue, Practical Expedient, Financing Component [true false]	true
Revenue, Practical Expedient, Remaining Performance Obligation [true/false]	true
Receivables from contracts with customers	$ 417.2	$ 393.6

Amount, after allowance for credit loss, of right to consideration from customer for product sold and service rendered in normal course of business.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(3))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(5))
-URI http://asc.fasb.org/extlink&oid=119400593&loc=d3e572229-122910

+ Details

Name:	us-gaap_AccountsReceivableNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- References

No definition available.

+ Details

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

- Definition

Indicates (true false) whether practical expedient was elected not to adjust consideration for effect of financing component when transfer and customer payment for product or service occurs within one year or less.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 22
-URI http://asc.fasb.org/extlink&oid=118956577&loc=SL49130569-203045

+ Details

Name:	us-gaap_RevenuePracticalExpedientFinancingComponent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:booleanItemType
Balance Type:	na
Period Type:	duration

- Definition

Indicates (true false) whether optional exemption was applied not to disclose amount of transaction price allocated to and explanation of expected timing of revenue recognition for remaining performance obligation, when contract has expected duration of one year or less or right to consideration corresponds directly to performance completed.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 15
-URI http://asc.fasb.org/extlink&oid=118956577&loc=SL49130558-203045

+ Details

Name:	us-gaap_RevenuePracticalExpedientRemainingPerformanceObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:booleanItemType
Balance Type:	na
Period Type:	duration