Leases (Details) $ in Millions	Apr. 30, 2020 USD ($)
Lessee, Lease, Description [Line Items]
Lessee, operating lease, lease not yet commenced, liability	$ 0.0
Maximum
Lessee, Lease, Description [Line Items]
Lessee, operating lease, renewal term	10 years

Term of lessee's operating lease renewal, 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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 3
-Subparagraph (a)(3)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918673-209980

Name:	us-gaap_LesseeOperatingLeaseRenewalTerm
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant