Redid decimal pattern.

Instead of using a lookahead, we now use an alternation. One for
"integer, optionally followed by a radix and the (possibly empty)
fractional part" and one for "radix followed by a non-empty fraction".
Documented changed behaviour of -sep