Use VectorSpace for Angles, not Num