Witam dawno mnie tu nie było

no ale dalej bawie się i uczę php

mam pytanie mam rekord pobrany z bazy danych punkty następnie wyświetlam go i mam wynik np: 1000 lub 5600 , 8700 itp i moje pytanie brzmi jak zrobić by wyświetlać wyniki w taki sposób 1,0 , 5,6 , 8.7 tys. ?