Dividends (Details) - USD ($) $ / shares in Units, $ in Millions		3 Months Ended		6 Months Ended
	Aug. 20, 2024	May 26, 2024	May 28, 2023	May 26, 2024	May 28, 2023	Aug. 02, 2024	Apr. 30, 2024	Jan. 31, 2024	Apr. 30, 2023	Jan. 31, 2023
Class of Stock [Line Items]
Dividend, fix amount (in dollars per share)							$ 0.12	$ 0.12	$ 0.12	$ 0.12
Dividend to stockholders		$ 47.7	$ 47.6	$ 95.6	$ 95.2
Forecast
Class of Stock [Line Items]
Dividend, fix amount (in dollars per share)						$ 0.13
Dividend to stockholders	$ 52.0