Earnings per Share (Details) - USD ($) $ / shares in Units, $ in Millions	3 Months Ended			9 Months Ended
	Feb. 28, 2023	Nov. 30, 2022	Feb. 28, 2022	Feb. 28, 2023	Feb. 28, 2022
Earnings per Share
Effect, participating securities				$ 0.0
Basic and Diluted EPS:
Income from continuing operations	$ 21.8		$ 22.6	66.6	$ 54.6
Less income attributable to participating shares	(0.3)		(0.2)	(0.9)	(0.4)
Income from continuing operations attributable to common shareholders	21.5		22.4	65.7	54.2
Income from discontinued operations attributable to common shareholders			(0.1)	0.4	0.2
Net income attributable to common shareholders for earnings per share	$ 21.5		$ 22.3	$ 66.1	$ 54.4
Weighted Average Shares:
Weighted average common shares outstanding - basic	34,100,000		35,100,000	34,600,000	35,300,000
Additional shares from the assumed exercise of stock options	500,000		600,000	400,000	500,000
Weighted average common shares outstanding - diluted	34,600,000		35,700,000	35,000,000.0	35,800,000
Earnings per share - basic:
Earnings from continuing operations	$ 0.63		$ 0.64	$ 1.90	$ 1.54
Earnings from discontinued operations				0.01	0.01
Earnings per share - basic	0.63		0.64	1.91	1.55
Earnings per share - diluted:
Earnings from continuing operations	0.62		0.63	1.87	1.52
Earnings from discontinued operations				0.01	0.01
Earnings per share - diluted	$ 0.62		$ 0.63	$ 1.88	$ 1.53
Antidilutive shares excluded from the computation of diluted earnings per share (in shares)	1,000	1,000	247,000	215,000	771,000