<div dir="ltr"><div>The attached patch should either go to master and maint.</div><div>It fixes some integer overflow that can occur when logging flops.</div><div><br><div><div><br></div>-- <br><div class="gmail_signature">Stefano</div>
</div></div></div>