/*
 * TYPEDEF: EDCS_Float
 *
 *   This data type specifies a 32 bit floating point number.
 */
typedef float EDCS_Float;