numeric_to_float 2974 object.c           return numeric_to_float(val);
numeric_to_float 3024 object.c           val = numeric_to_float(val);