Remove unnecessary code

Leading zeros only have an impact on Crockford encoding if they imply
that the number could be larger than 2^31. As we don't generate anything
longer than seven digits, this is never the case.