pub fn split_uint(u: u64) -> (u32, u64, u32)
Map u to (token, extra_bits_value, extra_bit_count).
u
(token, extra_bits_value, extra_bit_count)