fix svd and eig on numbers
improve type-related properties of that code