Leases (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2020	Mar. 31, 2019
Leases Abstract
Weighted average remaining lease term	6 years 3 months 18 days
Operating lease, weighted average discount rate	2.80%
Operating lease related expenses	$ 1.8	$ 1.8
Operating lease payments	1.6	1.6
Noncash additions to operating lease assets	$ 0.7	$ 31.8