if (get_mode_sort(mode) == irms_float_number) {
const ieee_descriptor_t *desc = get_descriptor(mode);
fc_get_minusinf(desc, NULL);
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), mode);
if (get_mode_sort(mode) == irms_float_number) {
const ieee_descriptor_t *desc = get_descriptor(mode);
fc_get_minusinf(desc, NULL);
return get_tarval(fc_get_buffer(), fc_get_buffer_length(), mode);