Real real((*real_)(t).get(Real()));
int width((*width_)(t).get(int()));
int precision((*precision_)(t).get(int()));
Real real((*real_)(t).get(Real()));
int width((*width_)(t).get(int()));
int precision((*precision_)(t).get(int()));
case 0: return _("Real");
case 1: return _("Width");
case 2: return _("Precision");
case 0: return _("Real");
case 1: return _("Width");
case 2: return _("Precision");