Impact of Recently Issued Accounting Pronouncements (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended		12 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022	Dec. 31, 2021
New Accounting Pronouncements or Change in Accounting Principle [Line Items]
Revenue recognized	$ 19.0	$ 8.7	$ 27.5	$ 29.1
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