Leases (Maturities) (Details) - USD ($) $ in Millions	12 Months Ended
Jul. 31, 2020	Jul. 31, 2019	Jul. 31, 2018
Lessee, Operating Lease, Liability, Payment, Due [Abstract]
2021	$ 26.8
2022	17.4
2023	10.7
2024	6.9
2025	4.8
Thereafter	13.4
Total future lease payments	80.0
Less imputed interest	6.3
Present value of future lease payments	73.7
Total operating leases expense		$ 30.8	$ 35.2
Future Minimum Lease Payments Under Operating Leases (Before Adoption)
2020		24.0
2021		17.5
2022		11.3
2023		6.4
2024		4.6
Thereafter		19.0
Total future lease payments		$ 82.8
Right-of-use lease assets obtained in exchange for new lease liabilities	$ 33.1

Amount of lessee's undiscounted obligation for lease payment for operating lease.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 6
-URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918701-209980

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease due after fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in fourth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in third fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of lessee's undiscounted obligation for lease payments in excess of discounted obligation for lease payments for operating lease.

+ References

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Present value of lessee's discounted obligation for lease payments from operating lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 45
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=121603541&loc=SL77918627-209977

+ Details

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

- Definition

Amount of required minimum rental payments for leases having an initial or remaining non-cancelable letter-terms in excess of one year.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 2
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=121573735&loc=d3e41502-112717

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 10
-Section 55
-Paragraph 40
-Subparagraph (Note 3)
-URI http://asc.fasb.org/extlink&oid=121580752&loc=d3e38371-112697

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in the next fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in the fifth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in the fourth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in the third fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 10
-Section 55
-Paragraph 40
-Subparagraph (Note 3)
-URI http://asc.fasb.org/extlink&oid=121580752&loc=d3e38371-112697

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 2
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=121573735&loc=d3e41502-112717

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in the second fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due after the fifth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

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

- Definition

Rental expense for the reporting period incurred under operating leases, including minimum and any contingent rent expense, net of related sublease income.

+ References

+ Details

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

- Definition

Amount of increase in right-of-use asset obtained in exchange for operating lease liability.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=121568110&loc=SL77918982-209971

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (g)(2)
-URI http://asc.fasb.org/extlink&oid=121609121&loc=SL77918686-209980

+ Details

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