Acquisitions - Schedule of Business Acquisitions (Details) - USD ($) $ in Millions			12 Months Ended
	Feb. 07, 2022	Sep. 13, 2021	Dec. 31, 2023	Dec. 31, 2022	Dec. 31, 2021
Business Acquisition [Line Items]
Goodwill			$ 1,742.4	$ 1,738.7	$ 1,667.2
Measurement period adjustments for prior year acquisitions			1.0	$ (12.9)
Driivz Ltd.
Business Acquisition [Line Items]
Accounts receivable	$ 1.0
Goodwill	125.7
Measurement period adjustments for prior year acquisitions			$ (5.2)
Other assets	2.9
Accrued expenses and other current liabilities	(12.5)
Other long-term liabilities	(15.2)
Purchase price, net of cash received	195.5
Driivz Ltd. | Technology
Business Acquisition [Line Items]
Intangible assets	$ 56.3
Weighted average life	8 years
Driivz Ltd. | Customer relationships
Business Acquisition [Line Items]
Intangible assets	$ 28.1
Weighted average life	13 years
Driivz Ltd. | Trade names
Business Acquisition [Line Items]
Intangible assets	$ 9.2
Weighted average life	16 years
DRB
Business Acquisition [Line Items]
Accounts receivable		$ 14.0
Inventories		20.9
Prepaid expenses and other current assets		3.7
Goodwill		571.8
Other assets		15.0
Trade accounts payable		(5.8)
Accrued expenses and other current liabilities		(42.1)
Other long-term liabilities		(27.3)
Purchase price, net of cash received		955.8
DRB | Technology
Business Acquisition [Line Items]
Intangible assets		$ 142.6
Weighted average life		9 years
DRB | Customer relationships
Business Acquisition [Line Items]
Intangible assets		$ 227.0
Weighted average life		11 years
DRB | Trade names
Business Acquisition [Line Items]
Intangible assets		$ 36.0
Weighted average life		14 years