num_equal         879 numeric.c      	return num_equal(x, y);
num_equal        2493 numeric.c      	return num_equal(x, y);