/*
 * TYPEDEF: EDCS_Long_Float
 *
 *   This data type specifies a 64 bit floating point number.
 */
typedef double EDCS_Long_Float;