use new Angle type