The standard library float64_vector package implements vectors specialized to hold Float64 values. Using this specialized typelocked vector implementation can yield a space savings of a factor of two or more.
The float64_vector package implements the Typelocked_Vector API.
The float64_vector package source code is in src/lib/std/src/vector-of-eight-byte-floats.pkg.
See also: vector_slice_of_eight_byte_floats.
The above information is manually maintained and may contain errors.