GUI improvements.

Change Decimal from TextField to TextArea. Output "invalid decimal
number" when it occurs.  Other minor tweaks.