Segment Information (Narrative) (Details) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2017 USD ($)	Jun. 30, 2016 USD ($)	Jun. 30, 2017 USD ($) segment	Jun. 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.2	$ 1.5	$ 2.1	$ 2.7
Segment reporting intercompany expense	0.7	1.2	1.4	2.9
Operating Segments [Member] | Risk Management and Work Flow [Member]
Segment Reporting Information [Line Items]
Segment reporting intercompany revenue	0.7	1.2	1.4	2.9
Segment reporting intercompany expense	$ 1.2	$ 1.5	$ 2.1	$ 2.7