On 6/28/2014 5:43 AM, Element 126 wrote: > +1 for float32 & cie. These names are much more explicit than the current ones. I don't see any relevance to this discussion with whether 32 bit floats are named 'float' or 'float32'.