uint_bitsize(x) is used to calc number of bits needed for slv when interpreted as natural and result as unsigned vector.