Re: [PATCH 4/9] jscript: Bettter handling of to_number result in String.indexOf