is real an 80-bit type or not?

[Anders F Björklund]

Jarrett Billingsley wrote:

>>I think it will be "real".
> 
> Then what happens when you want an 80-bit float?  Or if, far in the future 
> or on really exotic architectures, 128-bit floats are not the biggest type? 

But "real" is not defined as an 80-bit type...
When 256-bit floats arrive, they will be real.

I suggested using "extended" for fixed 80-bit.
And that real should be converted to an alias.

--anders