Fix: multiplication by a constant was not always working in GC