Symbol: __float_u