Numeric operators now work on floats. The result is rounded to .001, but xxx.000 is converted to xxx.
Numeric operators now work on floats. The result is rounded to .001, but xxx.000 is converted to xxx.

gobs/cmd