Guarantees, commitments and contingencies (Tables)

3 Months Ended

Oct. 31, 2017

Commitments And Contingencies Disclosure [Abstract]

Product Warranty Liability

The following table presents our product warranty liability as of October 31, 2017:

	As of
	October 31,
(in millions)	2017
Beginning balance	$	5.3
Provision		0.9
Warranty activity during the period		(1.3	)
Ending balance	$	4.9