Revenue (Disaggregation of Revenue by Geographical Area) (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Apr. 30, 2023	Apr. 30, 2022	Apr. 30, 2023	Apr. 30, 2022
Disaggregation of Revenue
Total net sales	$ 875.7	$ 853.2	$ 2,551.3	$ 2,416.6
U.S. and Canada
Disaggregation of Revenue
Total net sales	377.3	348.8	1,099.0	963.6
Europe, Middle East and Africa (EMEA)
Disaggregation of Revenue
Total net sales	255.6	250.9	734.5	717.2
Asia Pacific (APAC)
Disaggregation of Revenue
Total net sales	160.8	161.6	453.8	495.6
Latin America (LATAM)
Disaggregation of Revenue
Total net sales	$ 82.0	$ 91.9	$ 264.0	$ 240.2