Deferred revenue - Movement In Deferred Revenue (Details) € in Millions, $ in Millions			2 Months Ended	12 Months Ended
	Mar. 28, 2023 USD ($)	Mar. 28, 2023 EUR (€)	Dec. 31, 2022 USD ($)	Dec. 31, 2023 USD ($)	Oct. 31, 2022 USD ($)	Oct. 31, 2021 USD ($)
Movement in Deferred Revenue [Roll Forward]
Balance, beginning of the period			$ 0.0	$ 0.0	$ 0.0	$ 0.0
Additions	$ 5.4	€ 5.0	0.0		0.0	0.0
Foreign exchange loss			0.0	0.1	0.0	0.0
Balance, end of the period			0.0	5.5	0.0	0.0
Current deferred revenue			0.0	0.2	0.0	0.0
Non-current deferred revenue			$ 0.0	$ 5.3	$ 0.0	$ 0.0