If all the operands involved into an expression have the same type then that is the expression’s type.

If not all the operands have the same type, in the process of evaluating the expression, a series of implicit conversion takes place.

The general rule for the implicit conversion is: the operand with h the smallest values domain is converted to the type of the operand with bigger values domain..