Commitments and Contingencies - Additional Information (Details) $ in Millions	Jul. 31, 2019 USD ($)
Commitments And Contingencies Disclosure [Abstract]
Recorded Unconditional Purchase Obligation	$ 44.8

Amount of the recorded obligation to transfer funds in the future for fixed or minimum amounts or quantities of goods or services at fixed or minimum prices (for example, as in take-or-pay contracts or throughput contracts).

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 440
-SubTopic 10
-Section 50
-Paragraph 6
-URI http://asc.fasb.org/extlink&oid=77896938&loc=d3e25383-109308

Name:	us-gaap_RecordedUnconditionalPurchaseObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant