else if (type == "i32") {
      integer_validity_check(item);
      value = clamp(item, -0x80000000, 0x7FFFFFFF);
      value = (value < 0) ? (value + 0x100000000) : (value);
      return to_padded_hex_string(value, 8);