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