Revenue (Narrative) (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2023	Dec. 31, 2022
Disaggregation of Revenue [Line Items]
Advanced billings, revenue recognized	$ 57
Lease transactions	$ 8	$ 7
Expected timing of satisfaction period, not included	12 months
Business services | Minimum
Disaggregation of Revenue [Line Items]
Period of recognition	1 year
Business services | Maximum
Disaggregation of Revenue [Line Items]
Period of recognition	5 years
Support services | Minimum
Disaggregation of Revenue [Line Items]
Period of recognition	1 year
Support services | Maximum
Disaggregation of Revenue [Line Items]
Period of recognition	5 years