select real_t