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