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