Revenue (Disaggregation of Revenue by Geographical Area) (Details) - USD ($) $ in Millions	3 Months Ended
	Oct. 31, 2023	Oct. 31, 2022
Disaggregation of Revenue
Total net sales	$ 846.3	$ 847.3
U.S. and Canada
Disaggregation of Revenue
Total net sales	381.5	375.2
Europe, Middle East and Africa (EMEA)
Disaggregation of Revenue
Total net sales	234.4	226.7
Asia Pacific (APAC)
Disaggregation of Revenue
Total net sales	140.0	150.7
Latin America (LATAM)
Disaggregation of Revenue
Total net sales	$ 90.4	$ 94.7