Posit numbers/decoding: Difference between revisions