Development Projects Costs (Details) - USD ($) $ in Millions	Sep. 30, 2019	Dec. 31, 2018	Sep. 30, 2018
Development Costs [Line Items]
Capitalized project development costs	$ 20.6	$ 5.7
Construction Manager Costs [Member]
Development Costs [Line Items]
Capitalized project development costs	19.0	4.2
Architectural, Engineering, Construction Manager, and Subcontractor [Member]
Development Costs [Line Items]
Capitalized project development costs	$ 1.6	$ 1.5
Golf Course Project [Member]
Development Costs [Line Items]
Capitalized project development costs			$ 22.5