pub fn idx_width(bound: u64) -> usize
The width of an idx[N] element: the smallest unsigned integer holding N−1.
idx[N]
N−1