Litigation (Details) $ in Millions			1 Months Ended	56 Months Ended
	Apr. 07, 2020	Aug. 31, 2012 patent	Jun. 30, 2009 patent	Dec. 31, 2018 USD ($)	Dec. 31, 2019 USD ($)	Dec. 09, 2019 USD ($)	Jul. 31, 2018 USD ($)	May 31, 2014 USD ($)
Loss Contingencies
Settlement period of future revenues (in years)	10 years
WesternGeco
Loss Contingencies
Number of patent apparatus claims contained | patent		4	4
Number of patents infringed | patent		6
WesternGeco | Judicial ruling
Loss Contingencies
Amount of royalty damages paid				$ 25.8
WesternGeco | Judicial ruling | Lost profits
Loss Contingencies
Loss contingency accrual					$ 98.0			$ 123.8
DGH appeal | Pending Litigation
Loss Contingencies
Amount of sales proceeds in escrow						$ 4.5	$ 4.5