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 ($)	Mar. 31, 2020	Dec. 31, 2019 USD ($)	Dec. 09, 2019 USD ($)	Jul. 31, 2018 USD ($)	May 31, 2014 USD ($)
Loss Contingencies [Line Items]
Counter party revenue share percent					50.00%
Percent of revenue share					50.00%
WesternGeco
Loss Contingencies [Line Items]
Number of patent apparatus claims contained | patent		4	4
Number of patents infringed | patent		6
WesternGeco | Judicial Ruling
Loss Contingencies [Line Items]
Amount of royalty damages paid				$ 25.8
WesternGeco | Judicial Ruling | Lost Profits
Loss Contingencies [Line Items]
Loss contingency accrual						$ 98.0			$ 123.8
DGH Appeal | Pending Litigation
Loss Contingencies [Line Items]
Amount of sales proceeds in escrow							$ 4.5	$ 4.5
Subsequent Event
Loss Contingencies [Line Items]
Settlement period of future revenues	10 years
Counter party revenue share percent	90.00%