http://wiki.erights.org/mediawiki/index.php?action=history&feed=atom&title=Number_formattingNumber formatting - Revision history2026-05-15T15:44:33ZRevision history for this page on the wikiMediaWiki 1.15.5-7http://wiki.erights.org/mediawiki/index.php?title=Number_formatting&diff=1776&oldid=prevKevin Reid at 17:43, 30 April 20092009-04-30T17:43:56Z<p></p>
<p><b>New page</b></p><div>E has no defined standard library to print numbers with formatting choices (e.g. leading zeros, number of decimal places, scientific notation).<br />
<br />
==Proposals==<br />
<br />
* Borrow <code>printf</code> or one of its descendants. --[[User:Kevin Reid|Kevin Reid]] 12:43, 30 April 2009 (CDT)<br />
<br />
* Tame [http://java.sun.com/j2se/1.4.2/docs/api/java/text/DecimalFormat.html 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. --[[User:Kevin Reid|Kevin Reid]] 12:43, 30 April 2009 (CDT)<br />
<br />
==Discussion==<br />
<br />
* [http://www.eros-os.org/pipermail/e-lang/2009-February/013009.html Initial report]</div>Kevin Reid