Revenue Recognition - Deferred Revenue (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Sep. 30, 2024	Sep. 30, 2023	Sep. 30, 2024	Sep. 30, 2023
Revenue Recognition [Abstract]
Balance at beginning of period	$ 107.6	$ 108.7	$ 110.3	$ 111.1
New contracts sold	10.7	9.9	36.0	35.2
Revenue recognized on existing contracts	(10.2)	(11.4)	(38.2)	(39.1)
Balance at end of period	$ 108.1	$ 107.2	$ 108.1	$ 107.2

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.

No definition available.

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