XML 87 R72.htm IDEA: XBRL DOCUMENT v3.25.1
Fair Value Measurements - Convert Warrants (Details) - USD ($)
$ / shares in Units, $ in Millions
Jul. 31, 2024
Feb. 13, 2024
Convert Warrants    
Warrants    
Number of warrants issued   1,500,000
Principal amount   $ 20.0
Shares called by per each warrant 1 1
Exercise price (in USD per share) $ 24 $ 24
Convertible Securities Notes    
Warrants    
Principal amount $ 20.0 $ 20.0
Convertible Securities Notes | Convert Warrants    
Warrants    
Number of warrants issued 1,500,000  
Exercise price (in USD per share)   $ 24