Leases and other commitments (Tables)

12 Months Ended

Jul. 31, 2017

Leases [Abstract]

Future Minimum Lease Payments

The following is a schedule by year of future minimum lease payments at July 31, 2017:

(in millions)
Fiscal Year
2018	$	2.2
2019		1.3
2020		0.8
2021		0.1
2022		-
Thereafter		-
	$	4.4