Fix compilation error related to changes in num traits