is_numeric_type
if (is_numeric_type(v->sc_type)) {
assert(is_numeric_type(v->sc_type) == 0);
assert(is_numeric_type(av->av_type) == 0);
if (is_numeric_type(av->av_type)) {