XML 63 R67.htm IDEA: XBRL DOCUMENT v3.19.3.a.u2
Leases Additional Details (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2019
Dec. 31, 2018
Dec. 31, 2017
Leases [Abstract]      
Operating lease, weighted-average remaining lease term 7 years 10 months 24 days    
Operating lease, weighted-average discount rate, percent 4.20%    
Operating lease, cost $ 9.6    
Rent expense   $ 5.2 $ 4.4
Operating lease, payments $ 10.4