v3.25.2
Treasury stock (Details) - USD ($)
$ / shares in Units, $ in Millions
6 Months Ended 12 Months Ended
Nov. 12, 2024
Jun. 30, 2025
Dec. 31, 2024
Nov. 15, 2025
Treasury stock        
Stock repurchased during period   15,000 15,000  
Treasury stock, shares   2,167,600 2,167,600  
Maximum        
Treasury stock        
Stock repurchased during period, value $ 5.0      
Maximum | Subsequent Event        
Treasury stock        
Share price per share       $ 5.5