int-operator-specific type rules
work on abs