Implement an optimized matrix type Matrix_dense_number_field for matrices with entries in a number field