そりゃ、厳密に効率化すればDoubleのほうが速いだろうけど、
ほとんどの処理系で一緒になるでしょ。