Quote

Es scheint als sei ein normaler Arrayzugriff $foo[$bar] äquivalent zu $foo[int($bar)], der Index wird also immer abgerundet.

Da rand irgendeine reelle Zahl kleiner als sein Argument und größer gleich Null liefert, sollte int(rand(@foo)) einen zufälligen, ganzzahligen Arrayindex für @foo liefern.