Re: [PATCH 3/9] jscript: Better handling of to_integer result in String.charCodeAt