Re: jscript: Fix handling of numbers starting with decimal separator