Receivables and allowance for expected credit losses (Details) - USD ($) $ in Millions	Sep. 30, 2023	Dec. 31, 2022	Sep. 30, 2022
Credit Loss [Abstract]
Accounts Receivable, Noncurrent, 90 Days or More Past Due, Still Accruing	$ 51.1	$ 34.3	$ 30.8

Amount of accounts receivable, classified as noncurrent, 90 days or more past due and still accruing.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 16
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479319/326-20-50-16

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