thousand_sep_chr 1214 ext/standard/math.c 	char thousand_sep_chr = ',', dec_point_chr = '.';
thousand_sep_chr 1223 ext/standard/math.c 		RETURN_STRING(_php_math_number_format(num, 0, dec_point_chr, thousand_sep_chr), 0);
thousand_sep_chr 1226 ext/standard/math.c 		RETURN_STRING(_php_math_number_format(num, dec, dec_point_chr, thousand_sep_chr), 0);
thousand_sep_chr 1235 ext/standard/math.c 			thousand_sep = &thousand_sep_chr;