<div id="comment:0"></div> The workaround for the double free in #1337 causes memory leaks if the integer pool is full CC: @garyfurnish Component: **memleak** _Issue created by migration from https://trac.sagemath.org/ticket/2435_