Question: Extracting floating point values from coefficients

Is there a function or a way to extract a scalar as a floating point number for further linear algebra computations? For instance, if I have a diagonal matrix [2.3v 0.0v; 0.0v 2.3v], is there a way to extract the matrix [2.3 0.0; 0.0 2.3] with type Float64 so I can use built-in functions in LinearAlgebra package such as eig() or inv()?

Thank you

No file, test, or entry point is named. Start by locating Grassmann.jl's coefficient and scalar-conversion APIs, then check how the resulting matrix values interact with Julia's LinearAlgebra functions such as eig and inv. Done means establishing and documenting a supported Float64 extraction path, or clarifying that the requested conversion is not supported.

Written by the indexing model from the issue text.