
  TYPE
    avt$numeric_display_fmt_kind = (avc$integer_format,
          avc$fixed_point_format, avc$floating_point_format,
          avc$report_style_format);

