type hints for angle-difference.