10 #error "REAL was not defined!"
16 extern const char * g_real_name[];
18 #if REAL == REAL_SINGLE
20 inline float Float(Real r) {return r;}
21 #elif REAL == REAL_DOUBLE
23 inline double Float(Real r) {return r;}
25 #error "Type of Real unspecified."