Degree of an algebraic number