We need to clarify if 'real' is the 'default floating point type'or not.

[Anders F Björklund]

Don Clugston wrote:

> One workable option would be to split the current 'real' type into 
> real80, doubledouble, and quadruple (depending on the system) and then 
> we had:

I think I used "extended" for real80, not that it really matters but.
And "quadruple" is a bit long in the tooth, so "quad" rolls better...

http://en.wikipedia.org/wiki/Extended_precision
http://en.wikipedia.org/wiki/Quad_precision

--anders