v3.25.2
Leases - Deferred Revenue (Details) - USD ($)
$ in Millions
Jun. 30, 2025
Dec. 31, 2024
Leases    
Deferred revenue $ 31.1 $ 33.1