Symbol: t_float