[bdangubic]

   random_decimal(0,10);

[hansmayer]

Yeah, I imagine too :) . But if they used floats, would they score 9.11 higher than 9.9 ? :)