Exact-width lookup numerical systems #
This is the public entry point for lookup-table numerical formats. It exports the generic
codebook representation, the supplied catalog, proved catalog arithmetic, the configured
ExecFloat.Codebook carrier, numerical automation, and #float_info support.
Import narrower submodules when defining another codebook family internally.
A codebook is defined by its complete denotation table, so the table is the authoritative format specification. FloatLib does not infer arithmetic from bit width or element type.
Reference #
Codebook.denote specifies the meaning of every stored word, including exceptional entries.
nearestCode supplies nearest-entry quantization, and catalog arithmetic lives in
Codebook.Arithmetic.