Symbol: eval_as_float