Revenue (Tables)

9 Months Ended

Sep. 30, 2023

Revenue from Contract with Customer [Abstract]

Schedule of Remaining Performance Obligation

The total amount of the transaction price for our revenue contracts allocated to performance obligations that are unsatisfied (or partially unsatisfied) as of September 30, 2023 is as follows:

	Remainder of 2023		2024		2025		2026		2027		Thereafter		Total
Future revenue	$	432.3	$	988.5	$	529.7	$	297.8	$	148.2	$	376.4	$	2,772.9

Schedule of Timing of Revenue Recognition

Timing of Revenue Recognition

	Three months ended September 30,				Nine months ended September 30,
	2023		2022		2023		2022
Revenue recognized at a point in time	$	248.1	$	232.2	$	691.5	$	655.3
Revenue recognized over time	340.4		324.1		992.1		974.3
Total revenue recognized	$	588.5	$	556.3	$	1,683.6	$	1,629.6

Schedule of Contract Balances

Contract Balances

	At September 30, 2023		At December 31, 2022
Accounts receivable, net	$	221.4	$	271.6
Short-term contract assets (1)	$	5.5	$	6.2
Long-term contract assets (2)	$	15.3	$	5.6
Short-term deferred revenue	$	560.7	$	563.1
Long-term deferred revenue (3)	$	19.4	$	13.9

(1) Included within "Other current assets" in the condensed consolidated balance sheet.

(2) Included within "Other non-current assets" in the condensed consolidated balance sheet.

(3) Included within "Other non-current liabilities" in the condensed consolidated balance sheet.