Number formatting

From Erights

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

Proposals

• Borrow printf 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