Alexander Belopolsky wrote:
"For attribute specification, the implementation shall provide language-defined means, such as compiler directives, to specify a constant value for the attribute parameter for all standard operations in a block; the scope of the attribute value is the block with which it is associated." I believe Decimal is mostly conforming,
That depends on whether "scope" is meant lexically or dynamically. Decimal contexts are scoped dynamically.