Leases (Tables)

12 Months Ended

Dec. 31, 2018

Leases [Abstract]

Future Minimum Lease Payments under Operating Lease Obligations

Future minimum lease payments under operating lease obligations as of December 31, 2018 were as follows:

(in millions)
2019	$	3.4
2020		2.5
2021		2.5
2022		2.0
2023		2.6
2024 and beyond		2.5
Total minimum lease payments	$	15.5