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