Earnings per Share (Details) - USD ($) $ / shares in Units, $ in Millions	3 Months Ended		9 Months Ended
	Feb. 29, 2024	Feb. 28, 2023	Feb. 29, 2024	Feb. 28, 2023
Earnings per Share
Effect, participating securities			$ 0.0
Basic and Diluted Earnings Per Share:
Income from continuing operations	$ 14.0	$ 21.8	37.2	$ 66.6
Less income attributable to participating shares	(0.2)	(0.3)	(0.4)	(0.9)
Income from continuing operations attributable to common shareholders	13.8	21.5	36.8	65.7
Income from discontinued operations attributable to common shareholders				0.4
Net income attributable to common stockholders for earnings per share, Basic	$ 13.8	$ 21.5	$ 36.8	$ 66.1
Weighted Average Shares:
Weighted average common shares outstanding-basic	34,800,000	34,100,000	34,900,000	34,600,000
Additional shares from the assumed exercise of stock options	400,000	500,000	400,000	400,000
Weighted average common shares outstanding-diluted	35,200,000	34,600,000	35,300,000	35,000,000.0
Earnings per share - basic:
Earnings from continuing operations	$ 0.40	$ 0.63	$ 1.05	$ 1.90
Income from discontinued operations				0.01
Earnings per share - basic	0.40	0.63	1.05	1.91
Earnings per share - diluted:
Earnings from continuing operations	0.39	0.62	1.04	1.87
Income from discontinued operations				0.01
Earnings per share - diluted	$ 0.39	$ 0.62	$ 1.04	$ 1.88
Antidilutive shares excluded from the computation of diluted earnings per share (in shares)	1,000		215,000