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