Use DIV for integers, forbid /