degree of a number field