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