_php_math_number_format 1426 ext/standard/math.c 		RETURN_STR(_php_math_number_format(num, 0, dec_point_chr, thousand_sep_chr));
_php_math_number_format 1429 ext/standard/math.c 		RETURN_STR(_php_math_number_format(num, (int)dec, dec_point_chr, thousand_sep_chr));
_php_math_number_format   25 ext/standard/php_math.h PHPAPI zend_string *_php_math_number_format(double, int, char, char);