pub fn split_point(width: u64) -> u64
The largest power of two strictly below width, where RFC 9162 divides a tree of that width.
width