Lessor accounting (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Leases [Abstract]
Operating Lease, Lease Income	$ 11.2	$ 11.7	$ 34.5	$ 35.1
Lessor, Operating Lease, Payments to be Received, Next Twelve Months	$ 9.1		$ 9.1

Amount of operating lease income from lease payments and variable lease payments paid and payable to lessor. Includes, but is not limited to, variable lease payments not included in measurement of lease receivable.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479773/842-30-50-5

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6A
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482964/270-10-50-6A

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479016/842-30-45-3

Name:	us-gaap_OperatingLeaseLeaseIncome
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration