Sales - Contract liabilities (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2023	Jun. 30, 2023	Dec. 31, 2022
Revenue from Contract with Customer [Abstract]
Deferred revenue, current	$ 136.5	$ 136.5	$ 135.2
Deferred revenue, noncurrent	46.6	46.6	48.7
Total contract liabilities	183.1	183.1	$ 183.9
Contract liabilities, revenue recognized	$ 37.3	$ 80.6

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479837/606-10-45-1

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 8
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479806/606-10-50-8

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

+ Details

Name:	us-gaap_ContractWithCustomerLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as current.

+ References

+ Details

Name:	us-gaap_ContractWithCustomerLiabilityCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as noncurrent.

+ References

+ Details

Name:	us-gaap_ContractWithCustomerLiabilityNoncurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of revenue recognized that was previously included in balance of obligation to transfer good or service to customer for which consideration from customer has been received or is due.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 8
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479806/606-10-50-8

+ Details

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

- References

No definition available.

+ Details

Name:	us-gaap_RevenueFromContractWithCustomerAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration