numeri random con i decimali

[nicola75ss]

echo 0.1*rand(1,50);