Working on symbolic evaluator (strings to floats)