Employees
| Concept | As at 2025-01-31 | As at 2024-01-31 | As at 2023-01-31 | As at 2022-01-31 | As at 2021-01-31 | 
|---|---|---|---|---|---|
| Employees | |||||
| Information about reporting company | |||||
| Number of employees of reporting company | |||||
| Number of employees | 
                                                654
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                558
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                443
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                407
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                387
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
| Average number of temporary employees | 
                                                2,525
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                2,045
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                1,521
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                1,317
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                1,328
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             |