The float_vector package is a proxy for vector_of_eight_byte_floats.
The float_vector package source code is in src/lib/std/float-vector.pkg.
The above information is manually maintained and may contain errors.
Typelocked_Vector?
