Revenue Revenue (Narrative detail) (Details) $ in Millions	9 Months Ended
Sep. 30, 2023 USD ($)
Revenue Recognition and Deferred Revenue [Abstract]
Deferred Revenue, Revenue Recognized	$ 755.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