update int4