We should never migrate these types to `u64` as we will never have `u64`
messages left nor `u64` as message size left.