result type of binary expressions fixed