Re: [PATCH 1/9] jscript: Better handling of to_integer result in Array.splice