Other receivables (Details) - USD ($) $ in Millions	Dec. 31, 2023	Dec. 31, 2022	Oct. 31, 2022	Oct. 31, 2021
Receivables [Abstract]
Non-trade receivable	$ 0.0	$ 3.5	$ 2.0	$ 0.0
Sales taxes receivable	1.8	3.9	3.6	0.4
Other receivable	0.1	2.4	2.1	0.5
Total other receivables	$ 1.9	$ 9.8	$ 7.7	$ 0.9

Amount, after allowance, of receivables classified as other, due within one year or the operating cycle, if longer.

No definition available.

Name:	us-gaap_OtherReceivablesNetCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant