`Num` is not required here as it is a super-trait of `Primitive` which is itself a supertrait of `Float`. I know that nalgebra is full of `Num + Float` trait bounds. That is an error originating from a time when those two traits were independents from each other.