XML 55 R43.htm IDEA: XBRL DOCUMENT v3.25.3
Revenue (Deferred Revenues) (Details)
$ in Millions
9 Months Ended
Sep. 30, 2025
USD ($)
Revenue Recognition and Deferred Revenue [Abstract]  
Deferred Revenue, Revenue Recognized $ 827.2