cutting leading zeroes from the encoded int