Для этого в php есть функция number_format().
string number_format ( float $number , int $decimals = 0 , string $dec_point = '.' , string $thousands_sep = ',' )
Что есть что.
number - наше число
decimals - устанавливает число знаков после запятой
dec_point - устанавливает разделитель дробной части
thousands_sep - устанавливает разделитель тысяч
// наше число
$number="13500.00";
// выводить 0 цифр после запятой
// разделитель дробной части - ничего
// разделитель тысячных - пробел
print number_format($number,0,'',' ');
//результат 13 500Другой вариант// наше число
$number="13500.50";
// выводить 2 цифры после запятой
// разделитель дробной части - .
// разделитель тысячных - ,
print number_format($number,2,'.',',');
//результат 13,500.50