Business Segments (Details) $ in Millions	3 Months Ended	9 Months Ended	12 Months Ended
	Mar. 31, 2023 segment division	Sep. 30, 2023 USD ($) group segment	Dec. 31, 2022 segment division
Business Segment Information
Number of business segments	3	4	4
Number of groups of products | group		2
Number of divisions | segment	3		4
Two Groups
Business Segment Information
Net sales | $		$ 25