float -> double
同じような計算をしてみたところ,
float  time:37700
double time:8605
real   time:10953
doubleが圧倒的に早かった.
doubleが早いとは思っていたが,ここまでとは…
メモリなんかより,速度を重視するべきですね.