#posit arithmetic