Added real_t type.