Partially fixed #3 : "Can't scrub number that starts with decimal point (without leading zero)"

At least for numbers in JavaScript source code it now works. Not sure about others. Strings probably don't work.
Put the correction into an individual function so it can easily be removed/modified if CodeMirrors token handling changes.