There was an error while loading. Please reload this page.
84f00df
Refine the conversion routines between posits and floats to alleviate some rare rounding errors.