- Fixed bug w.r.t. new Array() and non-int arguments