floats = floating decimal point (or perhaps it should be called binary points) Posits have floating range as well as floating precision, so doubly floaty. The

floats = floating decimal point (or perhaps it should be called binary points) Posits have floating range as well as floating precision, so doubly floaty. Therefore I propose that they should be called "Lofties".