Long-Term Debt - Capital Leases (Details) $ in Millions	Jul. 31, 2018 USD ($)
Long-Term Debt
Capital lease assets	$ 70.0
Capital lease liabilities	$ 70.0

Amount equal to the present value (the principal) at the beginning of the lease term of minimum lease payments during the lease term (excluding that portion of the payments representing executory costs such as insurance, maintenance, and taxes to be paid by the lessor, together with any profit thereon) net of payments or other amounts applied to the principal through the balance sheet date.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 30
-Section 50
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=84164817&loc=d3e45280-112737

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

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

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