[e-lang] Need: formatting numbers

[Kevin Reid]

Quick note:

We should tame java.text.DecimalFormat, or provide controlled-decimal- 
precision functionality in some other way.

http://java.sun.com/j2se/1.4.2/docs/api/java/text/DecimalFormat.html

-- 
Kevin Reid                            <http://homepage.mac.com/kpreid/>