Re: [math-fun] posits, IEEE floats, asinh numbers