Alan Schmitt <alan.schmitt@polytechnique.org> writes:
> Looking at it there seems to be occurrences of '++' that are a bit
> strange. Was it garbled when attached?

Ooops, I forgot to finalise my merge.