<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Jun 30, 2016 at 5:18 PM, Christopher Larson <span dir="ltr"><<a href="mailto:kergoth@gmail.com" target="_blank">kergoth@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":x4" class="a3s aXjCH m155a3d2c8df6ffdc">From: Christopher Larson <<a href="mailto:chris_larson@mentor.com">chris_larson@mentor.com</a>><br>
<br>
This was rounded in python 2, but python 3 changed the default behavior of /.<br>
We could switch to the same behavior as previous by switching to // rather<br>
than /, but there's value in keeping at least one decimal point, to avoid the<br>
misleading case where it says 0% but the reuse is non-zero.<br>
<br>
Signed-off-by: Christopher Larson <<a href="mailto:chris_larson@mentor.com">chris_larson@mentor.com</a>></div></blockquote><div><br></div><div>Hold off on this, should probably address the rounding via the formatting, otherwise we'll only get good results when the number can be fully represented by the float type.</div></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Christopher Larson<br>kergoth at gmail dot com<br>Founder - BitBake, OpenEmbedded, OpenZaurus<br>Maintainer - Tslib<br>Senior Software Engineer, Mentor Graphics</div></div>
</div></div>