fix: assumption while mult. polys over the integers