Inventories (Details) - USD ($) $ in Millions	Jun. 30, 2025	Dec. 31, 2024
Inventory Disclosure [Abstract]
Raw materials	$ 221.4	$ 252.0
Work-in-process	1,063.6	768.8
Finished goods	214.3	184.6
Total	$ 1,499.3	$ 1,205.4

No definition available.

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

- Definition

Carrying amount, net of valuation reserves and adjustments, as of the balance sheet date of merchandise or goods held by the company that are readily available for sale.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 330
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Subparagraph (SAB Topic 5.BB)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480581/330-10-S99-2

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(6)(a)(1))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

+ Details

Name:	us-gaap_InventoryFinishedGoodsNetOfReserves
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount after valuation and LIFO reserves of inventory expected to be sold, or consumed within one year or operating cycle, if longer.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 852
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 10
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481372/852-10-55-10

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147483467/210-10-45-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(6))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

+ Details

Name:	us-gaap_InventoryNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Carrying amount, net of valuation reserves and adjustments, as of the balance sheet date of unprocessed items to be consumed in the manufacturing or production process.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 330
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Subparagraph (SAB Topic 5.BB)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480581/330-10-S99-2

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(6)(a)(4))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

+ Details

Name:	us-gaap_InventoryRawMaterialsNetOfReserves
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Carrying amount, net of reserves and adjustments, as of the balance sheet date of merchandise or goods which are partially completed. This inventory is generally comprised of raw materials, labor and factory overhead costs, which require further materials, labor and overhead to be converted into finished goods, and which generally require the use of estimates to determine percentage complete and pricing.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 330
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Subparagraph (SAB Topic 5.BB)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480581/330-10-S99-2

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(6)(a)(3))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

+ Details

Name:	us-gaap_InventoryWorkInProcessNetOfReserves
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant