Python :освобождается ли «старая» память& #39;d, когда переменной присваивается новое содержимое?

Если переменной назначено какое-либо новое содержимое, будет ли память, выделенная для "старого содержимого", "правильно" свободной? д? Например, в следующем сценарии память для переменной «a» в виде массива нулей будет освобождена после того, как «a» будет назначено что-то новое

import numpy
a = numpy.zeros(1000)
a = a+1

. Я бы представил себе, что Python достаточно умен, чтобы делать все чисто, используя так называемая -«сборка мусора», которую я никогда не смогу прочитать. Любое подтверждение? Я бы оценил это.