Universal numerical-system core #
Representation-independent semantics describe complete values, numerical systems, optional exact observations, and type-directed runtime representations. These interfaces assume no radix, exponent field, storage width, exceptional-value convention, or arithmetic backend.
Static format declaration syntax is exported separately from
FloatLib.Numerics.Core.Declaration, keeping the semantic core independent of elaborator
infrastructure.