Symbol: infloat