v3.25.2
Deferred royalty obligation - Narrative (Details) - USD ($)
$ in Millions
12 Months Ended
Aug. 25, 2021
Dec. 31, 2023
Other Liabilities Disclosure [Abstract]    
Royalty purchase agreement $ 325.0  
Proceeds from royalties $ 225.0 $ 75.0