Function next_down_vector 

pub fn next_down_vector(vec: RVector) -> Vec3

Returns a single-precision vector with each component being at least as small as the corresponding component of the input vector.

This is used for converting double-precision vectors to single-precision vectors for the minimum coordinates of bounding boxes, where they must contain the original shape even after precision loss far from the origin.