Employee Benefits - Schedule of expected benefits payment (Details) $ in Millions	Dec. 31, 2019 USD ($)
Defined Benefit Plan, Expected Future Benefit Payment [Abstract]
2020	$ 7.6
2021	7.5
2022	7.7
2023	8.4
2024	8.6
2024-2028	$ 44.3

No definition available.

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

- Definition

Amount of benefits for defined benefit plan expected to be paid in five fiscal years after fifth fiscal year following latest fiscal year.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 715
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (f)
-URI http://asc.fasb.org/extlink&oid=118255775&loc=d3e1928-114920

+ Details

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

- Definition

Amount of benefits for defined benefit plan expected to be paid in next fiscal year following latest fiscal year.

+ References

+ Details

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

- Definition

Amount of benefits for defined benefit plan expected to be paid in fifth fiscal year following latest fiscal year.

+ References

+ Details

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

- Definition

Amount of benefits for defined benefit plan expected to be paid in fourth fiscal year following latest fiscal year.

+ References

+ Details

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

- Definition

Amount of benefits for defined benefit plan expected to be paid in third fiscal year following latest fiscal year.

+ References

+ Details

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

- Definition

Amount of benefits for defined benefit plan expected to be paid in second fiscal year following latest fiscal year.

+ References

+ Details

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