use VectorSpace for Angles, not Num