Marketable Securities - Current and Non-current (Details) - USD ($) $ in Millions	Mar. 31, 2024	Dec. 31, 2023
Debt Securities, Available-for-sale
Current marketable securities	$ 60	$ 53
Non-current marketable securities	20	20
Total marketable securities	80	73
Certificates of deposit/time deposits
Debt Securities, Available-for-sale
Current marketable securities	56	49
U.S. municipal securities
Debt Securities, Available-for-sale
Current marketable securities	4	4
Non-current marketable securities	$ 20	$ 20