pub fn next_float_down(v: f32) -> f32
Bump a floating-point value down to the next smaller representable floating-point value.