Tweak to whitespace punctuation: don't insert trailing space if we're
in the middle of a number. (ie, we want "3.14" not "3. 14")