Numbers with a plus in their exponent are now accepted.
Add a new alias for the power operator.
Remove the time-stamp

The timestamp in the header comment of each source file is more annoying
than useful so we remove them.