Employee Benefit Plans (Narrative) (Details) - USD ($) $ in Millions	3 Months Ended			9 Months Ended
	Apr. 30, 2023	Apr. 30, 2022	Jan. 31, 2022	Apr. 30, 2023	Apr. 30, 2022
Defined Benefit Plan, Plan Assets, Allocation
Reclassifications, before tax	$ (4.4)	$ (4.7)		$ (4.1)	$ (11.6)
Other comprehensive income (loss) before reclassifications and tax	(3.7)	(47.0)		21.9	(74.2)
Settlement charge	3.3	1.1	$ 1.2	3.3	2.3
Pension Benefits
Defined Benefit Plan, Plan Assets, Allocation
Reclassifications, before tax	(3.6)	(5.0)		(4.2)	(11.8)
Other comprehensive income (loss) before reclassifications and tax	(4.4)	(7.6)		(4.4)	(9.3)
Scenario, Adjustment
Defined Benefit Plan, Plan Assets, Allocation
Other comprehensive income (loss) before reclassifications and tax	4.4	7.6	$ 1.7
Scenario, Adjustment | Pension Benefits
Defined Benefit Plan, Plan Assets, Allocation
Reclassifications, before tax	3.3	1.1		3.3	2.3
Other comprehensive income (loss) before reclassifications and tax	$ 4.4	$ 7.6		$ 4.4	$ 9.3