最近の32ビット以上のマシンだと、doubleでもfloatでも実行速度は変わらないのでしょうか?