CONDENSED CONSOLIDATED STATEMENTS OF OPERATIONS (Parenthetical) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
May 02, 2020	May 04, 2019	May 02, 2020	May 04, 2019
Income Statement [Abstract]
Income tax expense	$ 0.0	$ 32.9	$ 0.0	$ 44.1

Amount of tax expense (benefit) attributable to income (loss) from operations classified as a discontinued operation. Excludes tax expense (benefit) for gain (loss) on disposal and for provision for gain (loss) until disposal.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 20
-Section 45
-Paragraph 2
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=109238882&loc=d3e38679-109324

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 10
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32672-109319

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 50
-Paragraph 5C
-Subparagraph (b)(2)
-URI http://asc.fasb.org/extlink&oid=109222650&loc=SL51721675-107760

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 3A
-URI http://asc.fasb.org/extlink&oid=109222160&loc=SL51721523-107759

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