php_array_key_compare_numeric  215 ext/standard/array.c 	return php_array_key_compare_numeric(b, a);
php_array_key_compare_numeric  575 ext/standard/array.c 				return php_array_key_compare_numeric;