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