Deferred revenue - Narrative (Details) € in Millions, $ in Millions			2 Months Ended	12 Months Ended
	Mar. 28, 2023 EUR (€)	Mar. 28, 2023 USD ($)	Dec. 31, 2022 USD ($)	Dec. 31, 2023	Oct. 31, 2022 USD ($)	Oct. 31, 2021 USD ($)
Revenue Recognition and Deferred Revenue [Abstract]
Additions	€ 5.0	$ 5.4	$ 0.0		$ 0.0	$ 0.0
Revenue from contract with customer, term of contract				5 years