Another case of native_int for Array