Posit numerical formats #
The public entry point is ExecFloat.Posit (bits := n). It denotes the Posit Standard (2022)
layout at any valid static width and uses the common ExecFloat carrier and capability hierarchy.
Its associated exact accumulator is ExecFloat.Posit.Quire (bits := n).
References #
- Posit Working Group, Standard for Posit Arithmetic (2022), https://posithub.org/docs/posit_standard-2.pdf.
- John L. Gustafson, Standard Posit Arithmetic, Supercomputing Frontiers and Innovations 9(1), 2022, https://doi.org/10.14529/jsfi220102.
Arithmetic #
This module exposes the exact specifications for the six universal arithmetic
operations. Certified exact-dyadic, native-word, and two-limb rounding backends are exposed here;
static selection lives under Posit.Configured.