Dividends (Details) - USD ($) $ / shares in Units, $ in Millions		3 Months Ended
	May 23, 2024	Feb. 25, 2024	Feb. 26, 2023	May 09, 2024	Jan. 31, 2024	Jan. 31, 2023
Class of Stock [Line Items]
Dividend, fix amount (in dollars per share)					$ 0.12	$ 0.12
Dividend to stockholders		$ 47.9	$ 47.6
Forecast
Class of Stock [Line Items]
Dividend, fix amount (in dollars per share)				$ 0.12
Dividend to stockholders	$ 48.0