Other Operating Expense	3 Months Ended
Mar. 31, 2020
Other Income And Expenses [Abstract]
Other Operating Expense	Note 13 — Other Operating Expense In 2020, other operating expense consisted of $14.7 million of costs primarily related to the terminated merger agreement with Woodward, Inc.

The entire disclosure for other operating income and other operating expense items.

No definition available.

Name:	us-gaap_OtherOperatingIncomeAndExpenseTextBlock
Namespace Prefix:	us-gaap_
Data Type:	nonnum:textBlockItemType
Balance Type:	na
Period Type:	duration