pub const fn sdiv_into_u8<const B: u32, const ARG: u32>(v: f32) -> u8
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]