Business segments - Narrative (Details)	9 Months Ended
	Sep. 30, 2022 business
Segment Reporting [Abstract]
Number of principal businesses (business)	3