Class description
Symbols of this type represent floating-point denormal modes. They are passed to the with-denormal-mode word to control whether denormals are generated as outputs of floating-point operations and how they are treated when given as inputs.
+denormal-keep+ causes denormal results to be generated and accepted as inputs as required by IEEE 754.
+denormal-flush+ causes denormal results to be flushed to zero and be treated as zero when given as inputs. This mode may allow floating point operations to give results that are not compliant with the IEEE 754 standard.