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