Support floating-point numbers with a space character before the
exponential marker (i.e, accept "20 e9" as well as "20e9"). Suggested
by Wolfgang Kemper.
Try to be more intelligent about when to strip away line numbers (look
for 0*1 at the beginning of the first line of the code.)