<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jul 1, 2016 at 1:39 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=":a6" class="a3s aXjCH m155a8309fa19cc81">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>v2 changes: fixed to correctly do the rounding as part of the string formatting.<br>-- <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>