Add INT4[] support