両方じゃなかったっけ
CLIの仕様では、floatかdouble同士の演算は
「double以上の精度の浮動小数点型」に変換してから行うことになってるはず