Finite Math Assumption:

• • Const-expressions and override-expressions over finite values will generate overflow, infinities, and NaNs as intermediate result values, following IEEE-754 rules.

    • Note: This rule requires implementations to reliably detect overflow, infinities, and NaNs to within accuracy limits for these kinds of expressions, so that errors can be generated consistently.

  • A pipeline-creation error results if any override-expression of floating-point type overflows or evaluates to NaN or infinity.