What is the DataFlex equivalent of a double (in a 64-bit program). In C it's an 8 byte IEEE 754 floating point number.

The closest DataFlex type I can find is "Real", but it doesn't mention in the online help whether it uses IEE 754 format.