Revenue (Deferred Revenues) (Details) $ in Millions	6 Months Ended
Jun. 30, 2026 USD ($)
Revenue Recognition and Deferred Revenue [Abstract]
Deferred Revenue, Revenue Recognized	$ 679.4

Amount of revenue recognized that was previously reported as deferred or unearned revenue.

No definition available.

Name:	us-gaap_DeferredRevenueRevenueRecognized1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration