thousand_sep_chr 1407 ext/standard/math.c 	char thousand_sep_chr = ',', dec_point_chr = '.';
thousand_sep_chr 1426 ext/standard/math.c 		RETURN_STR(_php_math_number_format(num, 0, dec_point_chr, thousand_sep_chr));
thousand_sep_chr 1429 ext/standard/math.c 		RETURN_STR(_php_math_number_format(num, (int)dec, dec_point_chr, thousand_sep_chr));
thousand_sep_chr 1438 ext/standard/math.c 			thousand_sep = &thousand_sep_chr;