Number formatting

E has no defined standard library to print numbers with formatting choices (e.g. leading zeros, number of decimal places, scientific notation).

Proposals

 * Borrow  or one of its descendants. --Kevin Reid 12:43, 30 April 2009 (CDT)


 * Tame java.text.DecimalFormat and declare it to be our formatting library. (Is incorporating this Java-specific interface into our library spec acceptable for non-Java E implementations? Even if not, taming it is still potentially useful.) I have used DecimalFormat from E code by unsafe import and found it acceptable. --Kevin Reid 12:43, 30 April 2009 (CDT)

Discussion

 * Initial report