typedef double real_t