XML 52 R61.htm IDEA: XBRL DOCUMENT
v3.19.3.a.u2

Leases and commitments - Receivables Under Sales-Type Lease (Details) $ in Millions | Dec. 31, 2019 USD ($)
--- | ---
Leases [Abstract] |
2020 | $ 19.7
2021 | 13.7
2022 | 12.6
2023 | 12.5
2024 | 12.0
Thereafter | 5.4
Total | $ 75.9

X
- References No definition available. + Details
Name: | us-gaap_LeasesAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 10 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919391-209981 + Details
Name: | us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceived
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in fifth fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 10 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919391-209981 + Details
Name: | us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceivedFiveYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in fourth fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 10 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919391-209981 + Details
Name: | us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceivedFourYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in the next fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 10 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919391-209981 + Details
Name: | us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceivedNextTwelveMonths
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases after fifth fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 10 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919391-209981 + Details
Name: | us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceivedThereafter
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in third fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 10 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919391-209981 + Details
Name: | us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceivedThreeYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in second fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 10 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919391-209981 + Details
Name: | us-gaap_SalesTypeAndDirectFinancingLeasesLeaseReceivablePaymentsToBeReceivedTwoYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant