Runtime conversion source for configured logarithmic values

Every exact logarithmic value is zero or a signed integral power of its radix and therefore has an exact rational observation. This module supplies source decoding only; no destination quantizer or rounding policy is installed.

@[instance_reducible]

instance FloatLib.Floats.ExecFloat.Logarithmic.Conversion.exactDecoder {radix : Numerics.Radix} : ExactDecoder (Logarithmic radix) ℚ

Decode a configured logarithmic value to its exact rational meaning.