Segment and Geographic Data (Revenue by Segment) (Details) - USD ($) $ in Millions	3 Months Ended								12 Months Ended
	Dec. 31, 2019	Sep. 30, 2019	Jun. 30, 2019	Mar. 31, 2019	Dec. 31, 2018	Sep. 30, 2018	Jun. 30, 2018	Mar. 31, 2018	Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Revenue from External Customer [Line Items]
Revenue	$ 1,371	$ 1,296	$ 1,345	$ 1,237	$ 1,386	$ 1,287	$ 1,317	$ 1,217	$ 5,249	$ 5,207	$ 4,707
Pumps, accessories, parts and service
Revenue from External Customer [Line Items]
Revenue									3,324	3,322	2,998
Other
Revenue from External Customer [Line Items]
Revenue									$ 1,925	$ 1,885	$ 1,709