Revenue (Disaggregation of Revenue by Geographical Area) (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jan. 31, 2023	Jan. 31, 2022	Jan. 31, 2023	Jan. 31, 2022
Disaggregation of Revenue
Total net sales	$ 828.3	$ 802.5	$ 1,675.6	$ 1,563.4
U.S. and Canada
Disaggregation of Revenue
Total net sales	346.4	314.0	721.7	614.8
Europe, Middle East and Africa (EMEA)
Disaggregation of Revenue
Total net sales	252.1	241.7	478.8	466.3
Asia Pacific (APAC)
Disaggregation of Revenue
Total net sales	142.4	170.2	293.0	334.0
Latin America (LATAM)
Disaggregation of Revenue
Total net sales	$ 87.4	$ 76.6	$ 182.1	$ 148.3