Notes Receivable - Narrative (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2019	Mar. 31, 2020
Receivables [Abstract]
Notes receivable, write-off	$ 2.8
Notes receivable, current	17.4	$ 15.1
Notes receivable, long term	$ 16.3	$ 16.0