...
a is converted to double before the { + } operator is applied.
A more complex example :
...
this time, b is first converted to int, then, the { + } operator is applied. The result of (a+b) is then converted to float, and the comparison operator is finally applied.
...