XML 52 R40.htm IDEA: XBRL DOCUMENT v3.25.3
Leases - Deferred Revenue (Details) - USD ($)
$ in Millions
Sep. 30, 2025
Dec. 31, 2024
Leases    
Deferred revenue $ 29.0 $ 33.1