"may mean both float and int additions (ADD or FADD instructions), so types of x and y are needed in codegen to select right variant." . . . . .