Added division of number field elements.