Revenue from Lessor Arrangements and Contracts with Customers - Operating Lease and Service Revenue (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2020	Mar. 31, 2019
Lease revenue:
Total revenue	$ 216.7	$ 226.1
VERIFI Sales Arrangements
Lease revenue:
Lease payments revenue	6.8	6.4
Variable lease revenue	2.0	1.5
Total lease revenue	8.8	7.9
Total service revenue	1.4	1.0
Total revenue	10.2	8.9
VERIFI Sales Arrangements | Fixed fee revenue
Lease revenue:
Total service revenue	0.1	0.0
VERIFI Sales Arrangements | Variable fee revenue
Lease revenue:
Total service revenue	$ 1.3	$ 1.0