_decode: avoid needless cast to long for INTEGER between 32 and 64 bits in size.