Automation for E8M0 and block formats

Exact descriptor-driven arithmetic automation lives in FloatLib.Floats.Formats.BinaryInterchange.Automation.Finite. This module registers only the E8M0 scale and block-decoding contracts.