Вывод числа с определенным количеством знаков после запятой

Доброго времени суток Guru PHP.

Столкнулся я с казалось бы простой, но тем не менее не подвластной мне проблемой, вернее подвластной, но метод ее решения весьма нерационален. Хотя в общем то удовлетворяет меня, но хотелось бы найти рациональный.

Итак задача такая. В базе меня хранятся оценки. От 1 до 10. С возможностью выставления с точностью до одной десятой. Ну то есть - 5.5, 8.1, 9.0

Так вот. Мне надо чтобы они так и выводились. И когда я достаю из базы и вывожу числа - все нормально. Кроме целых чисел. Они пишутся как 6,7,9. А мне нужно чтобы они отображались как 6.0, 7.0, 9.0 соотвественно.

Я конечно нашел решение - банальный перебор значений после выборки из базы. И в случае когда оно равно целому от 1 до 10 - выводить текст 1.0-10.0
но это решение не совсем рационально, вернее не рационально вовсе.

Я нашел функцию strval(), но она без параметров. И мне не помогла. Может подскажет кто?
Заранее спасибо

-----
Есть в мире две бесконечные вещи - это Вселенная и человеческая глупость. Но насчет первой .. я не уверен.

EuGen, спасибо

P.S. Хм... ну я точно ламер) С первого раза не вышло, усмотрев "print", я подумал что это оператор. Ан нет, оказалось функция))) Зато со второго раза все замечательно))

Всегда пожалуйста..

-----
Есть в мире две бесконечные вещи - это Вселенная и человеческая глупость. Но насчет первой .. я не уверен.

Имхо тут логичнее использовать number_format()

Быколай, спс, помогло.