num_equal        460 numeric.c      	return num_equal(x, y);
num_equal        1301 numeric.c      	return num_equal(x, y);