10 #error "REAL was not defined!"
15 extern const char * g_real_name[];
17 #if REAL == REAL_SINGLE
19 inline float Float(Real r) {return r;}
20 #elif REAL == REAL_DOUBLE
22 inline double Float(Real r) {return r;}
24 #error "Type of Real unspecified."