现有一个int类型的整数和一个double类型的浮点数，当它们之间做了加法运算之后，得到的结果类型应该是______。