XML 70 R53.htm IDEA: XBRL DOCUMENT v3.25.0.1
Revenue from Contracts with Customers - Additional Information (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2024
Dec. 31, 2023
Revenue from Contract with Customer [Abstract]    
Amount of revenue recognized from beginning deferred revenue and backlog $ 897.4 $ 846.3
Amount of revenue recognized from beginning deferred revenue $ 457.5 $ 414.0