Segment information - Schedule of Segment Reporting Information, by Segment (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Depreciation:
Total	$ 11.7	$ 20.3	$ 46.1	$ 65.4
Other
Depreciation:
Total	0.9	3.3	3.5	5.7
Products \| Operating Segments
Depreciation:
Total	7.4	11.5	22.9	25.6
Services \| Operating Segments
Depreciation:
Total	$ 3.4	$ 5.5	$ 19.7	$ 34.1

The amount of expense recognized in the current period that reflects the allocation of the cost of tangible assets over the assets' useful lives. Includes production and non-production related depreciation.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 45
-Paragraph 28
-Subparagraph (b)
-SubTopic 10
-Topic 230
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-28

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 360
-SubTopic 10
-Section 50
-Paragraph 1
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482099/360-10-50-1

Name:	us-gaap_Depreciation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration