Mixing integer and floating point numbers in an arithmetic operation