[ANALYZER-2257] -- Reverted division