How to deal with systems where real == double

[Walter Bright]

real is defined to be the largest floating point type supported on the target 
machine, so if that's the same as double, then it's double (though still a 
distinct type to the D typing system).