Earnings Per Share (Details 1) - USD ($) $ / shares in Units, shares in Millions, $ in Millions	3 Months Ended						9 Months Ended
	Jan. 31, 2023	Oct. 31, 2022	Jul. 31, 2022	Jan. 31, 2022	Oct. 31, 2021	Jul. 31, 2021	Jan. 31, 2023	Jan. 31, 2022
Earnings Per Share [Abstract]
Net income	$ 208.5	$ 191.1	$ 109.8	$ 69.7	$ 206.0	$ 153.9	$ 509.4	$ 429.6
Weighted-average common shares outstanding (in shares)	106.5						106.4
Weighted-average common shares outstanding – assuming dilution (in shares)	107.0						106.9
Net Income - Assuming Dilution (in dollars per share)	$ 1.95			$ 0.64			$ 4.77	$ 3.96
Stock options
Share-based Compensation Arrangement by Share-based Payment Award [Line Items]
Dilutive effect (in shares)	0.1						0.1
Restricted shares, restricted stock units, and performance units
Share-based Compensation Arrangement by Share-based Payment Award [Line Items]
Dilutive effect (in shares)	0.4						0.4