Universal coding of the reals: alternatives to IEEE floating point

We propose a modular framework for representing the real numbers that generalizes ieee, posits, and related floating-point number systems, and which has its roots in universal codes for the positive integers such as the Elias codes. This framework unifies several known but seemingly unrelated representations within a single schema while also introducing new representations. We particularly focus on variable-length encoding of the binary exponent and on the manner in which fraction bits are mapped to values. Our framework builds upon and shares many of the attractive properties of posits but allows for independent experimentation with exponent codes, fraction mappings, reciprocal closure, rounding modes, handling of under- and overflow, and underlying precision.

[1]  B. V. Leer,et al.  Towards the ultimate conservative difference scheme V. A second-order sequel to Godunov's method , 1979 .

[2]  Peter Elias,et al.  Universal codeword sets and representations of the integers , 1975, IEEE Trans. Inf. Theory.

[3]  Matsui Shouichi,et al.  An Overflow/Underflow-Free Floating-Point Representation of Numbers. , 1981 .

[4]  James Demmel,et al.  IEEE Standard for Floating-Point Arithmetic , 2008 .

[5]  Earl E. Swartzlander,et al.  The Sign/Logarithm Number System , 1975, IEEE Transactions on Computers.

[6]  Julien Langou,et al.  Accelerating scientific computations with mixed precision algorithms , 2008, Comput. Phys. Commun..

[7]  John L. Gustafson,et al.  A Radical Approach to Computation with Real Numbers , 2016, Supercomput. Front. Innov..

[8]  Ulrich W. Kulisch,et al.  The exact dot product as basic tool for long interval arithmetic , 2011, Computing.

[9]  John L. Gustafson,et al.  The End of Error: Unum Computing , 2015 .

[10]  P. Roe Approximate Riemann Solvers, Parameter Vectors, and Difference Schemes , 1997 .

[11]  Siegfried M. Rump,et al.  Accurate Sum and Dot Product , 2005, SIAM J. Sci. Comput..

[12]  Hozumi Hamada URR: Universal representation of real numbers , 2009, New Generation Computing.

[13]  F. W. J. Olver,et al.  Beyond Floating Point , 1984, JACM.

[14]  John L. Gustafson,et al.  Beating Floating Point at its Own Game: Posit Arithmetic , 2017, Supercomput. Front. Innov..

[15]  Bram van Leer,et al.  Upwind and High-Resolution Methods for Compressible Flow: From Donor Cell to Residual-Distribution Schemes , 2003 .

[16]  Hidetoshi Yokoo Overflow/Underflow-Free Floating-Point Number Representations with Self-Delimiting Variable-Length Exponent Field , 1992, IEEE Trans. Computers.

[17]  R. Morris,et al.  Tapered Floating Point: A New Floating-Point Representation , 1971, IEEE Transactions on Computers.