pub const fn sdiv_into_u32<const B: u32, const ARG: u32>(v: f32) -> u32
Saturates the raw count to [-2^(B-1), 2^(B-1) - 1], then masks to B bits so the two’s-complement pattern fits the field.
[-2^(B-1), 2^(B-1) - 1]