int-operator-specific type rules