Jakie są różnice między

<code>int a;
// a gets some value
double pi = static_cast<double>(a)/3;
</code>

i

<code>int a;
// a gets some value
double pi = double(a)/3;
</code>

Czy kiedykolwiek widziałeś to drugie? Wydaje mi się, że widziałem go w jakimś fragmencie napisanym przez Stroustrupa, ale nie mogę znaleźć odniesienia.