Employee Benefit Plans (Narrative) (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Apr. 30, 2024	Apr. 30, 2023	Apr. 30, 2024	Apr. 30, 2023
Defined Benefit Plan, Plan Assets, Allocation
Settlement charge	$ 3.1	$ 3.3	$ 3.1	$ 3.3
Other comprehensive (loss) income before reclassifications and tax	(13.3)	(3.7)	(30.7)	21.9
Pension Benefits
Defined Benefit Plan, Plan Assets, Allocation
Other comprehensive (loss) income before reclassifications and tax	$ 0.0	$ (4.4)	$ 0.0	$ (4.4)