num_equal        1217 numeric.c      	return num_equal(x, y);
num_equal        3770 numeric.c      	return num_equal(x, y);