is real an 80-bit type or not?

[Frits van Bommel]

Sean Kelly wrote:
> Perhaps they think that "real" should always be a 64-bit type?  There 
> are a few different ways that statement could be interpreted.

Or they're just mathematical purists who don't think a type named 'real' 
should have finite precision and range :p.
Of course, then they'd have to complain about 'int' being limited to 
-2^31..2^31-1 too.
And let's not get into ireal and creal...