Accounts Receivable and Contract Balances - Allowance for Credit Losses (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Accounts Receivable, Allowance for Credit Loss [Roll Forward]
Beginning balance, allowance for credit losses	$ 28.8	$ 25.7
Increase to provision for credit losses	32.2	14.9	$ 8.3
Write-offs charged against the allowance for credit losses	(14.8)	(14.5)
Other	1.2	2.7
Ending balance, allowance for credit losses	47.4	$ 28.8	$ 25.7
Allowance for credit loss, unbilled accounts receivable	$ 4.0