[Cfp-interest] evaluation methods for Part 3 types

[Jim Thomas]

Below is a proposal (based on a suggestion by Fred) for specifying values of FLT_EVAL_METHOD that accommodate interchange and extended floating types in Part 3. DEC_EVAL_METHOD can be specified similarly. Comments?

-Jim

−1       indeterminable;

0         evaluate operations and constants, whose semantic type has at most the range and precision of float, to the range and precision of float; evaluate all other operations and constants to the range and precision of the semantic type;

1	   evaluate operations and constants, whose semantic type has at most the range and precision of double, to the range and precision of double; evaluate all other operations and constants to the range and precision of the semantic type;

2         evaluate operations and constants, whose semantic type has at most the range and precision of long double, to the range and precision of long double; evaluate all other operations and constants to the range and precision of the semantic type;

N, where _FloatN is a supported interchange floating type		evaluate all operations and constants, whose semantic type has at most the range and precision of the _FloatN type, to the range and precision of the _FloatN type; evaluate all other operations and constants to the range and precision of the semantic type;

N+1, where _FloatNx is a supported extended floating type		evaluate all operations and constants, whose semantic type has at most the range and precision of the _FloatNx type, to the range and precision of the _FloatNx type; evaluate all other operations and constants to the range and precision of the semantic type.