_php_math_number_format 1245 standard/math.c 		RETURN_STRING(_php_math_number_format(num, 0, dec_point_chr, thousand_sep_chr), 0);
_php_math_number_format 1248 standard/math.c 		RETURN_STRING(_php_math_number_format(num, dec, dec_point_chr, thousand_sep_chr), 0);
_php_math_number_format   25 standard/php_math.h PHPAPI char *_php_math_number_format(double, int, char, char);