Tolerating the form ".35"

[Bruce Sherwood]

The ACE JavaScript worker complains about ".35", that it should be written as "0.35". For my purposes, this is annoying fussiness. Should you too wish to squelch these complaints, insert the following code near the start of the nextLine function, just after assigning the current line to "s":

            // GlowScript modification to not warn about .3 or .03.

            // Replace 123.456 with 1211156, then replace .37 with 117.

            // This removes decimal points from numbers but doesn't create leading zeros.

            s = s.replace(/\d\.\d/g, '111').replace(/\.\d/g, '11')

With this change the form "00.35" induces a strange error hint unrelated to the extra leading zero. I don't understand why, but it seems unlikely that this comes up very often, whereas ".35" comes up frequently in people's GlowScript programs.