Leases (Tables)

9 Months Ended

Apr. 30, 2020

Leases [Abstract]

Lease cost

Information for the Company’s operating lease costs is as follows (in millions):

	Three Months Ended April 30,		Nine Months Ended April 30,
	2020		2020
Operating lease cost	$	7.5	$	22.7
Short-term lease cost	0.5		1.6
Total lease costs	$	8.0	$	24.3

Supplemental balance sheet information

Supplemental balance sheet information for the Company is as follows (in millions):

	April 30, 2020		August 1, 2019
Right-of-use lease assets	$	71.4	$	71.5
Current lease liabilities	$	24.0	$	26.0
Long-term lease liabilities	$	47.4	$	45.5

Additional information related to operating leases is as follows:

	April 30, 2020		August 1, 2019
Weighted average remaining lease term (years)	5.0		3.7
Weighted average discount rates	3.57	%	3.76	%

Operating lease liability schedule

Payments for operating leases having initial terms of more than one year at April 30, 2020 were as follows (in millions):

Amounts Due in Fiscal Year Ending	April 30, 2020
Remainder of 2020	$	7.2
2021	23.4
2022	15.3
2023	9.0
2024	5.8
Thereafter	17.8
Total future lease payments	78.5
Less imputed interest	7.1
Present value of future lease payments	$	71.4

Operating lease liability schedule

Payments for operating leases having initial terms of more than one year at July 31, 2019 were as follows (in millions):

Amounts Due in Fiscal Year Ending	July 31, 2019
2020	$	24.0
2021	17.5
2022	11.3
2023	6.4
2024	4.6
Thereafter	19.0
Total future lease payments	$	82.8