Basis of Presentation and Significant Accounting Policies - Deferred Revenue (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2025	Jun. 30, 2024	Jun. 30, 2025	Jun. 30, 2024	Mar. 31, 2025	Dec. 31, 2024	Mar. 31, 2024	Dec. 31, 2023
Deferred Revenue Arrangement [Line Items]
Deferred Revenue	$ 112.0	$ 107.6	$ 112.0	$ 107.6	$ 110.1	$ 111.3	$ 112.3	$ 110.3
New contracts sold	11.0	11.1	23.2	25.3
Revenue recognized on existing contracts	(9.1)	(15.8)	(22.5)	(28.0)
Deferred revenue, current	35.8	34.4	35.8	34.4
Deferred revenue, noncurrent	$ 76.2	$ 73.2	$ 76.2	$ 73.2

Amount of deferred income and obligation to transfer product and service to customer for which consideration has been received or is receivable.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(26)(c))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

+ Details

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

- Definition

Amount of deferred revenue recognized for transactions arising during the current reporting period. Deferred revenue is a liability as of the balance sheet date related to a revenue producing activity for which revenue has not yet been recognized. Generally, an Entity records deferred revenue when it receives consideration from a customer before achieving certain criteria that must be met for revenue to be recognized in conformity with GAAP.

+ References

No definition available.

+ Details

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

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

No definition available.

+ Details

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

- Definition

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

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(20))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

+ Details

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

- Definition

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

+ References

+ Details

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

- Definition

Amount of revenue recognized that was previously reported as deferred or unearned revenue.

+ References

No definition available.

+ Details

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