Current Expected Credit Losses - Year of Origination of Financing Receivables (Details) $ in Millions	Jun. 30, 2020 USD ($)
Financing Receivable, Credit Quality Indicator [Line Items]
2020	$ 1.7
2019	8.8
2018	13.1
2017	6.4
2016	1.3
Prior	74.3
Total	105.6
Notes receivable, short-term
Financing Receivable, Credit Quality Indicator [Line Items]
2020	1.7
2019	7.9
2018	13.1
2017	6.4
2016	0.0
Prior	0.2
Total	29.3
Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
2020	0.0
2019	0.9
2018	0.0
2017	0.0
2016	1.3
Prior	24.1
Total	26.3
Equipment Notes
Financing Receivable, Credit Quality Indicator [Line Items]
2020	0.0
2019	0.0
2018	0.0
2017	0.0
2016	0.0
Prior	50.0
Total	$ 50.0