Impact of Recently Issued Accounting Pronouncements (Details) - USD ($) $ in Millions	3 Months Ended			6 Months Ended
	Jun. 30, 2023	Jun. 30, 2022	Dec. 31, 2021	Jun. 30, 2023	Jun. 30, 2022
New Accounting Pronouncements or Change in Accounting Principle [Line Items]
Revenue recognized	$ 9.1	$ 9.5		$ 20.5	$ 20.4
Accounting Standards Update 2021-08 | Holobuilder
New Accounting Pronouncements or Change in Accounting Principle [Line Items]
Revenue recognized			$ 4.0
Accounting Standards Update 2021-08 | GeoSLAM
New Accounting Pronouncements or Change in Accounting Principle [Line Items]
Revenue recognized			$ 1.3