Keep long non-quoted numeric strings *as* untyped strings if they fail

 the obvious conversion.
Define a new pattern "decimal" which is non-exponential floating point
 for use with numeric() and decimal() types.