Made Int decodings fail if there are leading zeros.

If Ints with leading zeros are valid then many weird things look like
valid ints, and it becomes much harder to guess what a register holds
when debugging.
Regenerated pdf.