Use PHP To Generate Random Decimal Beteween Two Decimals
You could do something like:
rand(12, 57) / 10
PHP's random function allows you to only use integer limits, but you can then divide the resulting random number by 10.
You can use:
rand ($min*10, $max*10) / 10
or even better:
mt_rand ($min*10, $max*10) / 10