Dividends (Details) - USD ($) $ / shares in Units, $ in Millions		3 Months Ended		9 Months Ended
	Nov. 09, 2023	Aug. 27, 2023	Aug. 28, 2022	Aug. 27, 2023	Aug. 28, 2022	Oct. 26, 2023	Jul. 31, 2023	Apr. 30, 2023	Jan. 31, 2023	Jul. 31, 2022	Apr. 30, 2022	Jan. 31, 2022
Class of Stock [Line Items]
Dividend, fix amount (in dollars per share)							$ 0.12	$ 0.12	$ 0.12	$ 0.12	$ 0.10	$ 0.10
Dividend to stockholders		$ 47.7	$ 47.5	$ 142.9	$ 127.0
Forecast
Class of Stock [Line Items]
Dividend, fix amount (in dollars per share)						$ 0.12
Dividend to stockholders	$ 48.0