Value display of logarithmic formats

A value ±β^e prints as its exact decimal when that expansion terminates and |e| ≤ 32, such as 8 or -0.5, and as the power, such as 2^-80 or -3^-2, otherwise.

def FloatLib.Floats.Formats.Logarithmic.Code.display {radix : Numerics.Radix} : Code radix → String

Text of a logarithmic code: 0, an exact decimal for |e| ≤ 32, or the signed power.

@[instance_reducible]

instance FloatLib.Floats.ExecFloat.Logarithmic.instFormatDisplayFamily (radix : Numerics.Radix) : FormatDisplay (Family radix)

Logarithmic values print their exact value.