Recent Authoritative Accounting Guidance (Details) - USD ($) $ in Millions	Jan. 01, 2019	Sep. 30, 2019	Jul. 01, 2019
Accounting Policies [Abstract]
Right of use assets	$ 54.6	$ 39.6
Lease liabilities	54.6	$ 39.6
Fresh-Start Adjustment, Increase (Decrease), Capital Lease Obligations, Noncurrent			$ 15.0
Amount of held to maturity reclassified	$ 281.1

No definition available.

Name:	us-gaap_AccountingPoliciesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of investment in debt security, measured at amortized cost, transferred to investment in debt security, measured at fair value, with change in fair value recognized in other comprehensive income (available-for-sale) and net income (trading).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 10
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=118939692&loc=d3e27405-111563

+ Details

Name:	us-gaap_DebtSecuritiesHeldToMaturityTransferAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of fresh-start adjustment to noncurrent capital lease obligations.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 852
-SubTopic 10
-Section 50
-Paragraph 7
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=6918054&loc=SL2890621-112765

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 852
-SubTopic 10
-Section 55
-Paragraph 10
-URI http://asc.fasb.org/extlink&oid=84165509&loc=d3e56426-112766

+ Details

Name:	us-gaap_FreshStartAdjustmentIncreaseDecreaseCapitalLeaseObligationsNoncurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Present value of lessee's discounted obligation for lease payments from operating lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 45
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=77888419&loc=SL77918627-209977

+ Details

Name:	us-gaap_OperatingLeaseLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's right to use underlying asset under operating lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 45
-Paragraph 1
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=77888419&loc=SL77918627-209977

+ Details

Name:	us-gaap_OperatingLeaseRightOfUseAsset
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant