In message <4f9c31f696chris@xxxxxxxxxxxxxxxxxxxxx>, Chris Johnson
<chris@xxxxxxxxxxxxxxxxxxxxx> writes
Interesting discussion. The thought occurs to me that although you can
specify the decimal tab character, the decimal tab code "understands"
numbers. In other words it treats 0123456789+-e specially.