Degree of a number field