Exact user-facing posit formatting #
Ordinary posits print as exact decimals without redundant fractional zeros, so 1.5 prints as
1.5 and 6 as 6. Values whose fixed notation would be longer, such as tiny magnitudes, use a
decimal exponent instead. The unique exceptional word prints as NaR, the Posit Standard's
name for it. At every width the output denotes the exact value.
Host-independent display string of one posit value.
Ordinary values print through the compact exact decimal formatter, and the unique exceptional
word prints as NaR. There is no radix-two fallback. Formatting.Proof proves that parse
recovers every input word, including NaR.
Instances For
@[instance_reducible]