Leases - Maturity of lease liabilities (Details) - USD ($) $ in Millions	Sep. 30, 2025	Dec. 31, 2024
Maturity of Lease Liabilities
2025	$ 67.1
2026	266.7
2027	256.1
2028	253.8
2029	245.7
2030	241.0
2031 and thereafter	4,097.1
Total future minimum lease payments	5,427.5
Less: Imputed interest	(2,936.1)
Present value of future minimum lease payments	2,491.4
Current operating lease liabilities	101.8
Long-term operating lease liabilities	2,389.6	$ 2,392.6
Total operating lease liabilities	$ 2,491.4
Operating Lease, Liability, Current, Statement of Financial Position [Extensible Enumeration]	Accrued expenses and other current liabilities

Amount of lessee's undiscounted obligation for lease payment for operating lease.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 942
-SubTopic 235
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477314/942-235-S99-2

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S50
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480738/235-10-S50-4

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-6

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease due after fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueAfterYearFive
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueNextTwelveMonths
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearFive
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in fourth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearFour
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in third fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearThree
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease to be paid in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearTwo
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's undiscounted obligation for lease payment for operating lease having initial or remaining lease term in excess of one year to be paid in remainder of current fiscal year.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-6

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsRemainderOfFiscalYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of lessee's undiscounted obligation for lease payments in excess of discounted obligation for lease payments for operating lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-6

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityUndiscountedExcessAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- References

No definition available.

+ Details

Name:	us-gaap_OperatingLeaseLiabilitiesPaymentsDueAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Present value of lessee's discounted obligation for lease payments from operating lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479041/842-20-45-1

+ Details

Name:	us-gaap_OperatingLeaseLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Present value of lessee's discounted obligation for lease payments from operating lease, classified as current.

+ References

+ Details

Name:	us-gaap_OperatingLeaseLiabilityCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Indicates line item in statement of financial position that includes current operating lease liability.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479041/842-20-45-2

+ Details

Name:	us-gaap_OperatingLeaseLiabilityCurrentStatementOfFinancialPositionExtensibleList
Namespace Prefix:	us-gaap_
Data Type:	enum2:enumerationSetItemType
Balance Type:	na
Period Type:	instant

- Definition

Present value of lessee's discounted obligation for lease payments from operating lease, classified as noncurrent.

+ References

+ Details

Name:	us-gaap_OperatingLeaseLiabilityNoncurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant