Employee Benefit Plans (Narrative) (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended		12 Months Ended
	Jan. 31, 2023	Jan. 31, 2022	Jan. 31, 2023	Jan. 31, 2022	Jul. 31, 2022
Defined Benefit Plan, Plan Assets, Allocation
Settlement charge	$ 0.0	$ 1.2	$ 0.0	$ 1.2
Other comprehensive income (loss) before reclassifications and tax	61.2	(17.9)	25.6	(27.2)
Pension Benefits
Defined Benefit Plan, Plan Assets, Allocation
Other comprehensive income (loss) before reclassifications and tax	$ 0.0	(1.7)	$ 0.0	$ (1.7)
Scenario, Adjustment | Pension Benefits
Defined Benefit Plan, Plan Assets, Allocation
Other comprehensive income (loss) before reclassifications and tax		$ (1.7)			$ 1.7