[php] Frage zu srand()

[Volker Richardt]

Hallo miteinander!

Immer wieder findet man (auch in der FAQ) zum Setzen des Startwertes
folgendes Konstrukt:

srand ((double)microtime()*1000000);

Ich habe an mehreren Stellen nachgelesen, aber nichts dazu gefunden - was
macht das double dort?
Funktionieren tut es ja...

Gruß
Volker