Added trace for number field elements.