Impact of Recently Issued Accounting Pronouncements (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2023	Mar. 31, 2022	Dec. 31, 2021
New Accounting Pronouncements or Change in Accounting Principle [Line Items]
Revenue recognized	$ 11.4	$ 10.9
Accounting Standards Update 2021 08 Member | 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