Leases (Tables)

6 Months Ended

Jan. 31, 2020

Leases [Abstract]

Lease cost

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

	Three Months Ended January 31,			Six Months Ended January 31,
	2020		2020	2020
Operating lease cost	$	7.7		$	15.2
Short-term lease cost	0.5			1.1
Total lease costs	$	8.2		$	16.3

Supplemental balance sheet information

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

	January 31, 2020		August 1, 2019
Right-of-use lease assets	$	76.0	$	71.5
Current lease liabilities	$	25.9	$	26.0
Long-term lease liabilities	$	50.1	$	45.5

Additional information related to operating leases is as follows:

	January 31, 2020		August 1, 2019
Weighted average remaining lease term (years)	4.0		3.7
Weighted average discount rates	3.81	%	3.76	%

Operating lease liability schedule

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

Amounts Due in Fiscal Year Ending	January 31, 2020
Remainder of 2020	$	14.5
2021	22.6
2022	14.6
2023	8.6
2024	5.7
Thereafter	17.6
Total future lease payments	83.6
Less imputed interest	7.6
Present value of future lease payments	$	76.0

Operating lease liability schedule

ayments 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