Runtime conversion sources for configured OCP MX values #
E8M0 scales and complete MX blocks expose their exact observations as conversion sources. No destination quantizer is installed because construction requires explicit scale-selection, element-rounding, length, and exceptional-value policies.
@[instance_reducible]
Decode a configured E8M0 scale to its exact dyadic or exceptional observation.
@[instance_reducible]
instance
FloatLib.Floats.ExecFloat.OCP.MX.Block.Conversion.exactDecoder
{format : Formats.BinaryInterchange.FloatFormat}
:
ExactDecoder (Block format) (Array Numerics.Dyadic)
Decode a complete configured MX block to exact scaled dyadics or an exceptional observation.