Jacek Caban : jscript: Use num_set_int in array.c.