182   unsigned is_numeric	: 1;	/* Values of this attribute are numeric.  */  variable
732 	  if (attr2->is_numeric)  in check_attr_test()
859       if (!attr->is_numeric)  in check_attr_value()
880       if (attr->is_numeric)  in check_attr_value()
915       if (!attr->is_numeric)  in check_attr_value()
968 	else if (attr->is_numeric != attr2->is_numeric)  in check_attr_value()
1504   if (! length_attr->is_numeric)  in make_length_attrs()
3096     attr->is_numeric = 1;  in gen_attr()
3107       if (attr->is_numeric)  in gen_attr()
3115   if (! strcmp_check (attr->name, length_str) && ! attr->is_numeric)  in gen_attr()
4058   else if (!attr->is_numeric)  in write_attr_get()
4109 	else if (!cached_attr->is_numeric)  in write_attr_get()
4360   if (attr->is_numeric)  in write_attr_valueq()
4401 	else if (!attr->is_numeric)  in write_attr_value()
4403 	else if (!attr2->is_numeric)  in write_attr_value()
4678   attr->is_numeric = attr->is_const = attr->is_special = 0;  in find_attr()
4697   attr->is_numeric = 1;  in make_internal_attr()
4996 		  && !tune_attr->is_numeric);  in make_automaton_attrs()