Generate a Random number in Uppaal

My question is Can I generate a random number in Uppaal?

I would like to generate a number from a range of values. Even more, I would like to generate not just integers I would like to generate double values as well.

for example: double [7.25,18.3]

I found this question that were talking about the same. I tried it. However, I got this error: syntax error unexpected T_SELECT.

It doesn't work. I'm pretty new in Uppaal world, I would appreciate any help that you can provide me.

Regards,