number_format($num, 2);

<?php
$num = 4999.9;
$formattedNum = number_format($num)."<br>";
echo $formattedNum;
$formattedNum = number_format($num, 2);
echo $formattedNum;

/*
5,000
4,999.90
*/
?>