Dividend (Details) - USD ($) $ / shares in Units, $ in Millions	1 Months Ended								2 Months Ended	12 Months Ended
	Oct. 31, 2023	Jul. 31, 2023	Apr. 30, 2023	Jan. 31, 2023	Oct. 31, 2022	Jul. 31, 2022	Apr. 30, 2022	Jan. 31, 2022	Jan. 25, 2024	Nov. 26, 2023	Nov. 27, 2022	Nov. 28, 2021
Class of Stock [Line Items]
Cash dividends declared per share (usd per share)	$ 0.12	$ 0.12	$ 0.12	$ 0.12	$ 0.12	$ 0.12	$ 0.10	$ 0.10
Cash dividend paid										$ 190.5	$ 174.3	$ 104.4
Cash dividends paid per share (usd per share)										$ 0.48	$ 0.44	$ 0.26
Subsequent Event
Class of Stock [Line Items]
Cash dividends declared per share (usd per share)									$ 0.12
Cash dividend paid									$ 48.0