Segment Information (Narrative) (Details) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2017 USD ($)	Sep. 30, 2016 USD ($)	Sep. 30, 2017 USD ($) segment	Sep. 30, 2016 USD ($)
Segment Reporting Information [Line Items]
Number of reportable segments | segment			2
Operating Segments [Member] | Property Intelligence [Member]
Segment Reporting Information [Line Items]
Segment reporting intercompany revenue	$ 1.1	$ 1.5	$ 3.3	$ 4.2
Segment reporting intercompany expense	1.0	1.0	2.5	3.9
Operating Segments [Member] | Risk Management and Work Flow [Member]
Segment Reporting Information [Line Items]
Segment reporting intercompany revenue	1.0	1.0	2.5	3.9
Segment reporting intercompany expense	$ 1.1	$ 1.5	$ 3.3	$ 4.2