Other Current Assets - Schedule of other current assets (Details) - USD ($)	Sep. 30, 2023	Dec. 31, 2022
Other Assets [Abstract]
Unbilled and notes receivable	$ 88,500,000	$ 60,800,000
Income and other taxes receivable	82,300,000	61,800,000
Prepaid expenses	26,700,000	24,300,000
Deposits with vendors	30.5	19
Other assets	36,400,000	27,600,000
Other current assets	$ 264,400,000	$ 193,500,000