It format a number with grouped thousands

Example

<?php
echo number_format(1233.56,2);
?>

Output

1,233.56