So I’ve realised that I was confusing the type Num (actually defined in the Symbolics package) with the generic type Number. So in fact I can just specialise on Num.
So I’ve realised that I was confusing the type Num (actually defined in the Symbolics package) with the generic type Number. So in fact I can just specialise on Num.