Symbol: __float_t