Semantic definition of ALU operations