<div dir="ltr">On Thu, Aug 29, 2013 at 7:44 PM, Eli Friedman <span dir="ltr"><<a href="mailto:eli.friedman@gmail.com" target="_blank">eli.friedman@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
I spent some time looking into printing exactly the right number of<br>
digits if a precision isn't specified, but it's kind of complicated,<br>
and I'm not really sure I understand what APFloat::toString is supposed<br>
to output for FormatPrecision != 0 (or maybe the current API specification<br>
is just silly, not sure which).  I have a WIP patch if anyone is interested.<br>
<br></blockquote><div><br></div><div><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">If you haven't already run into it during your investigations, definitely check out <</span><a href="http://www.cs.tufts.edu/~nr/cs257/archive/florian-loitsch/printf.pdf" target="_blank" style="font-family:arial,sans-serif;font-size:13px">http://www.cs.tufts.edu/~nr/cs257/archive/florian-loitsch/printf.pdf</a><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">>.</span><br>
</div><div><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px"><br></span></div><div><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">-- Sean Silva</span></div></div></div>
</div>