AlgebraicNumberNorm[Cos[2Pi/7]]