remove integer operand annotation, make it default