added get(..) by index to PositiveInt32Codec so the individual values could be extracted without calling decode() method