Guarantees (Details 2)	Jun. 30, 2023 USD ($)
Guarantor Obligations [Line Items]
Guarantor obligations, maximum exposure, undiscounted	$ 325,500,000
Fixed maximum amounts guaranteed by year 2023	21,600,000
Fixed maximum amounts guaranteed by year 2024	135,600,000
Fixed maximum amounts guaranteed by year 2025	165,500,000
Fixed maximum amounts guaranteed by year 2026	1,500,000
Fixed maximum amounts guaranteed by year 2027	1,000,000
Fixed maximum amounts guaranteed, thereafter	300,000
Amount outstanding under guarantees that is reflected on balance sheet	0
Letters of credit	21,000,000
Outstanding letters of credit	0
Amount of surety bonds outstanding	$ 707,800,000