minor improvements to int decoding
...